「もしもこの奉公人が翻意しないとするとその炭酸ガス濃度は憎らしい一方で帯電しない」ということは嘘である
fact1: 「なにがしかの物は行き始める」ということは成り立つとするとこの木刀は翻意しない fact2: もし仮にあの黒鉛組織が憎らしくなくて逃げ回らないとするとこの奉公人は行き始める fact3: この自己課税は本学である fact4: もし仮にこの奉公人が行き始めないとするとあの黒鉛組織は憎らしい fact5: もしあるものはラザニアならば「それは利幅であるかまたはそれは招き易くない」ということは誤っている fact6: もしこの自己課税は本学であるなら「その蒟蒻問答は月猫だ一方でラザニアでない」ということは成り立たない fact7: もしその炭酸ガス濃度が行き始めるとすればこの奉公人は行き始める fact8: もしその炭酸ガス濃度が帯電しないとすればあの黒鉛組織は行き始める fact9: もしも「何かは利幅であるかもしくは招き易くない」ということは偽だとすればそれは帯電する fact10: もしこの奉公人が帯電するとすればあの黒鉛組織は帯電する fact11: もしその炭酸ガス濃度が帯電するならこの奉公人は帯電するが翻意しない fact12: この奉公人は翻意しないとしたらそれは行き始めない fact13: この奉公人は不束者である fact14: この奉公人が帯電するとすればあの炭酸ガス濃度は帯電するがしかしそれは行き始めるということはない fact15: もしもあの黒鉛組織が憎らしいとすればあの炭酸ガス濃度は憎らしいしそれに帯電する fact16: もしその炭酸ガス濃度が帯電しないならそれは翻意しない fact17: その炭酸ガス濃度が翻意するならばあの奉公人は翻意するけれど憎らしくない fact18: その湖面は憎らしい fact19: 仮に「「あの黒鉛組織は行き始めない」ということは真実だ」ということは事実と異なるとしたらこの奉公人は行き始める fact20: あの黒鉛組織は憎らしいとすると「その炭酸ガス濃度は憎らしいがしかし帯電しない」ということは成り立つ fact21: もし仮にこの奉公人が翻意するならその炭酸ガス濃度は憎らしいが帯電しない fact22: 仮にこの奉公人が憎らしいとするとその炭酸ガス濃度は翻意するけど帯電しない fact23: もしもあの黒鉛組織は翻意するということはないとしたら「この奉公人は憎らしい」ということは正しい
void -> assump1: 以下のように仮定する。「この奉公人は翻意しない」ということは事実である; fact12 & assump1 -> int1: この奉公人は行き始めない; int1 & fact4 -> int2: あの黒鉛組織は憎らしい; int2 & fact20 -> int3: その炭酸ガス濃度は憎らしいが帯電しない; [assump1] & int3 -> hypothesis;
この木刀は翻意しない
fact29 -> int4: 「その炭酸ガス濃度は利幅であるかそれは招き易いということはないかあるいはどちらもである」ということは誤っているとすれば「帯電する」ということは成り立つ; fact24 -> int5: もしもその炭酸ガス濃度はラザニアだとすれば「それは利幅であるかもしくは招き易くない」ということは成り立たない; fact27 & fact25 -> int6: 「その蒟蒻問答は月猫であるけどラザニアでない」ということは成り立たない; int6 -> int7: 「「月猫であるしおまけにラザニアでない」ということは誤りである」物はある;
$facts$ = fact1: 「なにがしかの物は行き始める」ということは成り立つとするとこの木刀は翻意しない fact2: もし仮にあの黒鉛組織が憎らしくなくて逃げ回らないとするとこの奉公人は行き始める fact3: この自己課税は本学である fact4: もし仮にこの奉公人が行き始めないとするとあの黒鉛組織は憎らしい fact5: もしあるものはラザニアならば「それは利幅であるかまたはそれは招き易くない」ということは誤っている fact6: もしこの自己課税は本学であるなら「その蒟蒻問答は月猫だ一方でラザニアでない」ということは成り立たない fact7: もしその炭酸ガス濃度が行き始めるとすればこの奉公人は行き始める fact8: もしその炭酸ガス濃度が帯電しないとすればあの黒鉛組織は行き始める fact9: もしも「何かは利幅であるかもしくは招き易くない」ということは偽だとすればそれは帯電する fact10: もしこの奉公人が帯電するとすればあの黒鉛組織は帯電する fact11: もしその炭酸ガス濃度が帯電するならこの奉公人は帯電するが翻意しない fact12: この奉公人は翻意しないとしたらそれは行き始めない fact13: この奉公人は不束者である fact14: この奉公人が帯電するとすればあの炭酸ガス濃度は帯電するがしかしそれは行き始めるということはない fact15: もしもあの黒鉛組織が憎らしいとすればあの炭酸ガス濃度は憎らしいしそれに帯電する fact16: もしその炭酸ガス濃度が帯電しないならそれは翻意しない fact17: その炭酸ガス濃度が翻意するならばあの奉公人は翻意するけれど憎らしくない fact18: その湖面は憎らしい fact19: 仮に「「あの黒鉛組織は行き始めない」ということは真実だ」ということは事実と異なるとしたらこの奉公人は行き始める fact20: あの黒鉛組織は憎らしいとすると「その炭酸ガス濃度は憎らしいがしかし帯電しない」ということは成り立つ fact21: もし仮にこの奉公人が翻意するならその炭酸ガス濃度は憎らしいが帯電しない fact22: 仮にこの奉公人が憎らしいとするとその炭酸ガス濃度は翻意するけど帯電しない fact23: もしもあの黒鉛組織は翻意するということはないとしたら「この奉公人は憎らしい」ということは正しい ; $hypothesis$ = 「もしもこの奉公人が翻意しないとするとその炭酸ガス濃度は憎らしい一方で帯電しない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この奉公人は翻意しない」ということは事実である; fact12 & assump1 -> int1: この奉公人は行き始めない; int1 & fact4 -> int2: あの黒鉛組織は憎らしい; int2 & fact20 -> int3: その炭酸ガス濃度は憎らしいが帯電しない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「なにがしかの物は行き始める」ということは成り立つとするとこの木刀は翻意しない
事実2: もし仮にあの黒鉛組織が憎らしくなくて逃げ回らないとするとこの奉公人は行き始める
事実3: この自己課税は本学である
事実4: もし仮にこの奉公人が行き始めないとするとあの黒鉛組織は憎らしい
事実5: もしあるものはラザニアならば「それは利幅であるかまたはそれは招き易くない」ということは誤っている
事実6: もしこの自己課税は本学であるなら「その蒟蒻問答は月猫だ一方でラザニアでない」ということは成り立たない
事実7: もしその炭酸ガス濃度が行き始めるとすればこの奉公人は行き始める
事実8: もしその炭酸ガス濃度が帯電しないとすればあの黒鉛組織は行き始める
事実9: もしも「何かは利幅であるかもしくは招き易くない」ということは偽だとすればそれは帯電する
事実10: もしこの奉公人が帯電するとすればあの黒鉛組織は帯電する
事実11: もしその炭酸ガス濃度が帯電するならこの奉公人は帯電するが翻意しない
事実12: この奉公人は翻意しないとしたらそれは行き始めない
事実13: この奉公人は不束者である
事実14: この奉公人が帯電するとすればあの炭酸ガス濃度は帯電するがしかしそれは行き始めるということはない
事実15: もしもあの黒鉛組織が憎らしいとすればあの炭酸ガス濃度は憎らしいしそれに帯電する
事実16: もしその炭酸ガス濃度が帯電しないならそれは翻意しない
事実17: その炭酸ガス濃度が翻意するならばあの奉公人は翻意するけれど憎らしくない
事実18: その湖面は憎らしい
事実19: 仮に「「あの黒鉛組織は行き始めない」ということは真実だ」ということは事実と異なるとしたらこの奉公人は行き始める
事実20: あの黒鉛組織は憎らしいとすると「その炭酸ガス濃度は憎らしいがしかし帯電しない」ということは成り立つ
事実21: もし仮にこの奉公人が翻意するならその炭酸ガス濃度は憎らしいが帯電しない
事実22: 仮にこの奉公人が憎らしいとするとその炭酸ガス濃度は翻意するけど帯電しない
事実23: もしもあの黒鉛組織は翻意するということはないとしたら「この奉公人は憎らしい」ということは正しい

仮説: 「もしもこの奉公人が翻意しないとするとその炭酸ガス濃度は憎らしい一方で帯電しない」ということは嘘である
1. 仮定1: 以下のように仮定する。「この奉公人は翻意しない」ということは事実である
2. 事実12と仮定1から、推論1: "この奉公人は行き始めない"が導かれる
3. 推論1と事実4から、推論2: "あの黒鉛組織は憎らしい"が導かれる
4. 推論2と事実20から、推論3: "その炭酸ガス濃度は憎らしいが帯電しない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。