その甚平鮫が予防給付でないならばあの第四章は突き回さない
fact1: その甚平鮫が予防給付でないならこの第四章は突き回す fact2: もし「「ソ連機でなくておまけにシングルマザーでない」ということは間違いな」ものがあるとすればその甚平鮫は予防給付だ fact3: 「「突き回さないけどソ連機だ」ということは間違いな」ものはある fact4: その甚平鮫は話し合わなくて自然成立しない fact5: あの火消しはシングルマザーだということはない fact6: もし仮に「「シングルマザーでないしまたソ連機でない」ということは成り立たない」物はあるとすると「あの火消しは突き回す」ということは嘘でない fact7: もし「ソ連機であるということはなくてシングルマザーでない」物があるとすればこの第四章は突き回さない fact8: もしとあるものは話し合わないしかつ自然成立しないならそれは美しいということはない fact9: 美しくないものはクリスマス前だし心強い
void -> assump2: 以下のように仮定する。「あの火消しはソ連機でないしさらにそれはシングルマザーでない」ということは確かでない; assump2 -> int1: 「「ソ連機だということはないしそれにシングルマザーでない」ということは成り立たない」ものはある; int1 & fact2 -> int2: その甚平鮫は予防給付だ; void -> assump1: 以下のように仮定する。その甚平鮫は予防給付でない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの火消しがソ連機だということはないしその上それはシングルマザーだということはない; int4 -> int5: なんらかの物はソ連機であるということはないしシングルマザーであるということはない; int5 & fact7 -> int6: この第四章は突き回さない; [assump1] & int6 -> hypothesis;
あの詳細不明は突き回さない
fact12 -> int7: その甚平鮫が美しくないとするとクリスマス前であるしその上心強い; fact10 -> int8: もしもその甚平鮫が話し合わなくてそれにそれが自然成立しないならば美しくない; int8 & fact11 -> int9: 「その甚平鮫は美しくない」ということは真実だ; int7 & int9 -> int10: その甚平鮫はクリスマス前であるしさらにそれは心強い; int10 -> int11: その甚平鮫は心強い; int11 -> int12: とあるものは心強い;
$facts$ = fact1: その甚平鮫が予防給付でないならこの第四章は突き回す fact2: もし「「ソ連機でなくておまけにシングルマザーでない」ということは間違いな」ものがあるとすればその甚平鮫は予防給付だ fact3: 「「突き回さないけどソ連機だ」ということは間違いな」ものはある fact4: その甚平鮫は話し合わなくて自然成立しない fact5: あの火消しはシングルマザーだということはない fact6: もし仮に「「シングルマザーでないしまたソ連機でない」ということは成り立たない」物はあるとすると「あの火消しは突き回す」ということは嘘でない fact7: もし「ソ連機であるということはなくてシングルマザーでない」物があるとすればこの第四章は突き回さない fact8: もしとあるものは話し合わないしかつ自然成立しないならそれは美しいということはない fact9: 美しくないものはクリスマス前だし心強い ; $hypothesis$ = その甚平鮫が予防給付でないならばあの第四章は突き回さない ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの火消しはソ連機でないしさらにそれはシングルマザーでない」ということは確かでない; assump2 -> int1: 「「ソ連機だということはないしそれにシングルマザーでない」ということは成り立たない」ものはある; int1 & fact2 -> int2: その甚平鮫は予防給付だ; void -> assump1: 以下のように仮定する。その甚平鮫は予防給付でない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの火消しがソ連機だということはないしその上それはシングルマザーだということはない; int4 -> int5: なんらかの物はソ連機であるということはないしシングルマザーであるということはない; int5 & fact7 -> int6: この第四章は突き回さない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その甚平鮫が予防給付でないならこの第四章は突き回す
事実2: もし「「ソ連機でなくておまけにシングルマザーでない」ということは間違いな」ものがあるとすればその甚平鮫は予防給付だ
事実3: 「「突き回さないけどソ連機だ」ということは間違いな」ものはある
事実4: その甚平鮫は話し合わなくて自然成立しない
事実5: あの火消しはシングルマザーだということはない
事実6: もし仮に「「シングルマザーでないしまたソ連機でない」ということは成り立たない」物はあるとすると「あの火消しは突き回す」ということは嘘でない
事実7: もし「ソ連機であるということはなくてシングルマザーでない」物があるとすればこの第四章は突き回さない
事実8: もしとあるものは話し合わないしかつ自然成立しないならそれは美しいということはない
事実9: 美しくないものはクリスマス前だし心強い

仮説: その甚平鮫が予防給付でないならばあの第四章は突き回さない
1. 仮定2: 以下のように仮定する。「あの火消しはソ連機でないしさらにそれはシングルマザーでない」ということは確かでない
2. 仮定2から、推論1: "「「ソ連機だということはないしそれにシングルマザーでない」ということは成り立たない」ものはある"が導かれる
3. 推論1と事実2から、推論2: "その甚平鮫は予防給付だ"が導かれる
4. 仮定1: 以下のように仮定する。その甚平鮫は予防給付でない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "あの火消しがソ連機だということはないしその上それはシングルマザーだということはない"が導かれる
7. 推論4から、推論5: "なんらかの物はソ連機であるということはないしシングルマザーであるということはない"が導かれる
8. 推論5と事実7から、推論6: "この第四章は突き回さない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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