「もしも「掟書でない」ということは成り立てばギネスビールだけれど第八航空軍でない」物はある
fact1: 掟書はギネスビールだが第八航空軍でない fact2: 仮にとあるものが掟書でないとすればそれがギネスビールだしまたそれは第八航空軍でない fact3: 仮になんらかの物は掟書でないならばそれはギネスビールである fact4: 仮になにがしかの物は掟書でないとするとギネスビールであるし第八航空軍である fact5: この百会が掟書でないとすればそれは祈り為さるけれど餌付けでない fact6: 「もし仮に「掟書でない」ということは確かであるとすればギネスビールだし第八航空軍な」ものはある fact7: 仮にこの百会は掟書でないとすると「ギネスビールだ」ということは成り立つ fact8: 「掟書だとすればギネスビールだし加えて第八航空軍であるということはない」物はある fact9: もし「なんらかの物は海物語でない」ということは真実であるなら開胸するがしかし佐々木学生委員でない
fact2 -> int1: もしもこの百会は掟書でないならばギネスビールであるがしかし第八航空軍でない; int1 -> hypothesis;
$facts$ = fact1: 掟書はギネスビールだが第八航空軍でない fact2: 仮にとあるものが掟書でないとすればそれがギネスビールだしまたそれは第八航空軍でない fact3: 仮になんらかの物は掟書でないならばそれはギネスビールである fact4: 仮になにがしかの物は掟書でないとするとギネスビールであるし第八航空軍である fact5: この百会が掟書でないとすればそれは祈り為さるけれど餌付けでない fact6: 「もし仮に「掟書でない」ということは確かであるとすればギネスビールだし第八航空軍な」ものはある fact7: 仮にこの百会は掟書でないとすると「ギネスビールだ」ということは成り立つ fact8: 「掟書だとすればギネスビールだし加えて第八航空軍であるということはない」物はある fact9: もし「なんらかの物は海物語でない」ということは真実であるなら開胸するがしかし佐々木学生委員でない ; $hypothesis$ = 「もしも「掟書でない」ということは成り立てばギネスビールだけれど第八航空軍でない」物はある ; $proof$ = 
fact2 -> int1: もしもこの百会は掟書でないならばギネスビールであるがしかし第八航空軍でない; int1 -> hypothesis; __PROVED__
事実1: 掟書はギネスビールだが第八航空軍でない
事実2: 仮にとあるものが掟書でないとすればそれがギネスビールだしまたそれは第八航空軍でない
事実3: 仮になんらかの物は掟書でないならばそれはギネスビールである
事実4: 仮になにがしかの物は掟書でないとするとギネスビールであるし第八航空軍である
事実5: この百会が掟書でないとすればそれは祈り為さるけれど餌付けでない
事実6: 「もし仮に「掟書でない」ということは確かであるとすればギネスビールだし第八航空軍な」ものはある
事実7: 仮にこの百会は掟書でないとすると「ギネスビールだ」ということは成り立つ
事実8: 「掟書だとすればギネスビールだし加えて第八航空軍であるということはない」物はある
事実9: もし「なんらかの物は海物語でない」ということは真実であるなら開胸するがしかし佐々木学生委員でない

仮説: 「もしも「掟書でない」ということは成り立てばギネスビールだけれど第八航空軍でない」物はある
1. 事実2から、推論1: "もしもこの百会は掟書でないならばギネスビールであるがしかし第八航空軍でない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。