_:node3 "5" . _:node2 _:node3 . _:formula4 _:t1102911495statement1 . _:t1102911495statement1 _:node5 . _:t1102911495statement1 . _:t1102911495statement1 "Alpha" . _:formula4 _:t1102911495statement2 . _:t1102911495statement2 _:node6 . _:t1102911495statement2 . _:t1102911495statement2 "Beta" . _:formula4 _:t1102911495statement3 . _:t1102911495statement3 _:node5 . _:t1102911495statement3 . _:t1102911495statement3 _:node6 . _:node2 _:formula4 . _:node2 "Gamma" .