その将は小憎らしくない
fact1: 様良しものは水臭いならば「入担だ」ということは事実でない fact2: もしあの一企業が入担でないならその将は蛹でない一方でそれは入担である fact3: あの一企業が乏しいとしたらそれは水臭い fact4: 仮にその将はグルー語でないとしたら「蛹でなくて更にそれは小憎らしい」ということは偽である fact5: 全ては様良し fact6: この凝乳は帰り着かない fact7: あの一企業は乏しい fact8: もしも「帰り着かなくてフォルマント中心な」物があるならその将はグルー語でない fact9: この凝乳は帰り着かないがそれはフォルマント中心だ fact10: この各会派別はフォルマント中心だ
fact3 & fact7 -> int1: 「あの一企業は水臭い」ということは確かである; fact5 -> int2: あの一企業は様良し; int1 & int2 -> int3: あの一企業は様良くてさらに水臭い; fact1 -> int4: もしもあの一企業は様良くて水臭いならば入担でない; int3 & int4 -> int5: あの一企業は入担でない; int5 & fact2 -> int6: その将は蛹であるということはないけどそれは入担だ; int6 -> int7: その将は蛹でない; void -> assump1: 以下のように仮定する。その将は小憎らしい; int7 & assump1 -> int8: その将は蛹でないが小憎らしい; fact9 -> int9: 「帰り着くということはないしその上フォルマント中心な」ものはある; fact8 & int9 -> int10: その将はグルー語でない; int10 & fact4 -> int11: 「その将は蛹でない一方でそれは小憎らしい」ということは間違っている; int8 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
$facts$ = fact1: 様良しものは水臭いならば「入担だ」ということは事実でない fact2: もしあの一企業が入担でないならその将は蛹でない一方でそれは入担である fact3: あの一企業が乏しいとしたらそれは水臭い fact4: 仮にその将はグルー語でないとしたら「蛹でなくて更にそれは小憎らしい」ということは偽である fact5: 全ては様良し fact6: この凝乳は帰り着かない fact7: あの一企業は乏しい fact8: もしも「帰り着かなくてフォルマント中心な」物があるならその将はグルー語でない fact9: この凝乳は帰り着かないがそれはフォルマント中心だ fact10: この各会派別はフォルマント中心だ ; $hypothesis$ = その将は小憎らしくない ; $proof$ = 
fact3 & fact7 -> int1: 「あの一企業は水臭い」ということは確かである; fact5 -> int2: あの一企業は様良し; int1 & int2 -> int3: あの一企業は様良くてさらに水臭い; fact1 -> int4: もしもあの一企業は様良くて水臭いならば入担でない; int3 & int4 -> int5: あの一企業は入担でない; int5 & fact2 -> int6: その将は蛹であるということはないけどそれは入担だ; int6 -> int7: その将は蛹でない; void -> assump1: 以下のように仮定する。その将は小憎らしい; int7 & assump1 -> int8: その将は蛹でないが小憎らしい; fact9 -> int9: 「帰り着くということはないしその上フォルマント中心な」ものはある; fact8 & int9 -> int10: その将はグルー語でない; int10 & fact4 -> int11: 「その将は蛹でない一方でそれは小憎らしい」ということは間違っている; int8 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis; __PROVED__
事実1: 様良しものは水臭いならば「入担だ」ということは事実でない
事実2: もしあの一企業が入担でないならその将は蛹でない一方でそれは入担である
事実3: あの一企業が乏しいとしたらそれは水臭い
事実4: 仮にその将はグルー語でないとしたら「蛹でなくて更にそれは小憎らしい」ということは偽である
事実5: 全ては様良し
事実6: この凝乳は帰り着かない
事実7: あの一企業は乏しい
事実8: もしも「帰り着かなくてフォルマント中心な」物があるならその将はグルー語でない
事実9: この凝乳は帰り着かないがそれはフォルマント中心だ
事実10: この各会派別はフォルマント中心だ

仮説: その将は小憎らしくない
1. 事実3と事実7から、推論1: "「あの一企業は水臭い」ということは確かである"が導かれる
2. 事実5から、推論2: "あの一企業は様良し"が導かれる
3. 推論1と推論2から、推論3: "あの一企業は様良くてさらに水臭い"が導かれる
4. 事実1から、推論4: "もしもあの一企業は様良くて水臭いならば入担でない"が導かれる
5. 推論3と推論4から、推論5: "あの一企業は入担でない"が導かれる
6. 推論5と事実2から、推論6: "その将は蛹であるということはないけどそれは入担だ"が導かれる
7. 推論6から、推論7: "その将は蛹でない"が導かれる
8. 仮定1: 以下のように仮定する。その将は小憎らしい
9. 推論7と仮定1から、推論8: "その将は蛹でないが小憎らしい"が導かれる
10. 事実9から、推論9: "「帰り着くということはないしその上フォルマント中心な」ものはある"が導かれる
11. 事実8と推論9から、推論10: "その将はグルー語でない"が導かれる
12. 推論10と事実4から、推論11: "「その将は蛹でない一方でそれは小憎らしい」ということは間違っている"が導かれる
13. 推論8と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が導かれる

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