この産業活動は太り難い
fact1: この産業活動は直行だ fact2: もし仮にこの産業活動はおたおたしないとしたら「それは押し付けがましいししかもそれは無理無くない」ということは嘘だ fact3: もし仮にこの産業活動はなあいということはないならば「ソルゴーであるが会話イベントであるということはない」ということは嘘だ fact4: この中国人はおたおたするがフランス生まれでない fact5: あの稼働音はおたおたしない fact6: もし仮に「この中国人はなあくない」ということは事実と異ならないなら「太り難くてそれにフランス生まれでない」ということは成り立つということはない fact7: この産業活動はなあくない fact8: この連射は太り難くない fact9: もし「このチーズは準占有者でない」ということは真実ならその動力織機は呟くし更に積極的行動である fact10: この硬軟は太り難くない fact11: この産業活動はフランス生まれだ fact12: この中国人はおたおたするが太り難いということはない fact13: もし仮にこの中国人がなあいならこの産業活動は太り難い fact14: もしもなにかはなあくないとすれば「おたおたするけどフランス生まれであるということはない」ということは成り立つということはない fact15: この産業活動はおたおたする fact16: 「その黒点数は白河院で更に高し」ということは間違いである
fact14 -> int1: もし仮にこの中国人はなあくないとしたら「おたおたするしそれはフランス生まれでない」ということは本当でない; void -> assump1: 以下のように仮定する。この中国人はなあいということはない; int1 & assump1 -> int2: 「この中国人はおたおたする一方でフランス生まれでない」ということは誤っている; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この中国人はなあい; int4 & fact13 -> hypothesis;
この産業活動は太り難くない
$facts$ = fact1: この産業活動は直行だ fact2: もし仮にこの産業活動はおたおたしないとしたら「それは押し付けがましいししかもそれは無理無くない」ということは嘘だ fact3: もし仮にこの産業活動はなあいということはないならば「ソルゴーであるが会話イベントであるということはない」ということは嘘だ fact4: この中国人はおたおたするがフランス生まれでない fact5: あの稼働音はおたおたしない fact6: もし仮に「この中国人はなあくない」ということは事実と異ならないなら「太り難くてそれにフランス生まれでない」ということは成り立つということはない fact7: この産業活動はなあくない fact8: この連射は太り難くない fact9: もし「このチーズは準占有者でない」ということは真実ならその動力織機は呟くし更に積極的行動である fact10: この硬軟は太り難くない fact11: この産業活動はフランス生まれだ fact12: この中国人はおたおたするが太り難いということはない fact13: もし仮にこの中国人がなあいならこの産業活動は太り難い fact14: もしもなにかはなあくないとすれば「おたおたするけどフランス生まれであるということはない」ということは成り立つということはない fact15: この産業活動はおたおたする fact16: 「その黒点数は白河院で更に高し」ということは間違いである ; $hypothesis$ = この産業活動は太り難い ; $proof$ = 
fact14 -> int1: もし仮にこの中国人はなあくないとしたら「おたおたするしそれはフランス生まれでない」ということは本当でない; void -> assump1: 以下のように仮定する。この中国人はなあいということはない; int1 & assump1 -> int2: 「この中国人はおたおたする一方でフランス生まれでない」ということは誤っている; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この中国人はなあい; int4 & fact13 -> hypothesis; __PROVED__
事実1: この産業活動は直行だ
事実2: もし仮にこの産業活動はおたおたしないとしたら「それは押し付けがましいししかもそれは無理無くない」ということは嘘だ
事実3: もし仮にこの産業活動はなあいということはないならば「ソルゴーであるが会話イベントであるということはない」ということは嘘だ
事実4: この中国人はおたおたするがフランス生まれでない
事実5: あの稼働音はおたおたしない
事実6: もし仮に「この中国人はなあくない」ということは事実と異ならないなら「太り難くてそれにフランス生まれでない」ということは成り立つということはない
事実7: この産業活動はなあくない
事実8: この連射は太り難くない
事実9: もし「このチーズは準占有者でない」ということは真実ならその動力織機は呟くし更に積極的行動である
事実10: この硬軟は太り難くない
事実11: この産業活動はフランス生まれだ
事実12: この中国人はおたおたするが太り難いということはない
事実13: もし仮にこの中国人がなあいならこの産業活動は太り難い
事実14: もしもなにかはなあくないとすれば「おたおたするけどフランス生まれであるということはない」ということは成り立つということはない
事実15: この産業活動はおたおたする
事実16: 「その黒点数は白河院で更に高し」ということは間違いである

仮説: この産業活動は太り難い
1. 事実14から、推論1: "もし仮にこの中国人はなあくないとしたら「おたおたするしそれはフランス生まれでない」ということは本当でない"が導かれる
2. 仮定1: 以下のように仮定する。この中国人はなあいということはない
3. 推論1と仮定1から、推論2: "「この中国人はおたおたする一方でフランス生まれでない」ということは誤っている"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この中国人はなあい"が導かれる
6. 推論4と事実13から、仮説が導かれる

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