あの三次元プロジェクトは可笑しない
fact1: 「この照度は怒る」ということは成り立つ fact2: もしあの薪炭が危ういとしたらそれは可笑し fact3: もしあの三次元プロジェクトは可笑しないならば「「手緩いしおまけに投げ与える」ということは成り立つ」ということは誤りである fact4: その金運は投げ与える fact5: 仮にそのクローンが怒らないけどめぼしいならあの薪炭は怒らない fact6: 「あの薪炭は怒る」ということは成り立つ fact7: 仮に「とあるものは割り算するけど摘録でない」ということは成り立たないとすると可笑しない fact8: あの薪炭が怒るならそれは摘録である fact9: その中年男が面倒臭いし節減するならこのアンティークは面倒臭くない fact10: このアンティークは調整交付金であるかねちっこいということはないか両方ともであるならばそれはねちっこくない fact11: もし仮にあの三次元プロジェクトは可笑しないとすれば「手緩くない一方で投げ与える」ということは嘘である fact12: その中年男はスリップするしおまけに節減する fact13: 「あの薪炭は焼き難い」ということは事実である fact14: 摘録は割り算する fact15: 「あの三次元プロジェクトは手緩いしおまけに投げ与える」ということは嘘だ fact16: 仮にあの三次元プロジェクトは摘録であるならそれは可笑し fact17: このアンティークは調整交付金であるかあるいはそれはねちっこくないかまたはどちらもだ fact18: もし仮にあの御払いが成立し得るならその中年男は面倒臭い fact19: もし「あの三次元プロジェクトは手緩くないけど投げ与える」ということは間違いなら「あの薪炭は割り算しない」ということは事実である fact20: あの薪炭は狙い易い fact21: もし仮にあの薪炭は怒らないとすれば「「あの三次元プロジェクトは割り算する一方で摘録でない」ということは正しい」ということは成り立たない fact22: あの三次元プロジェクトは法人化する fact23: あの御払いは成立し得る fact24: もしねちっこくない物が面倒臭くないならばそのクローンは怒らない
void -> assump1: 以下のように仮定する。あの三次元プロジェクトは可笑しない; fact11 & assump1 -> int1: 「あの三次元プロジェクトは手緩くない一方で投げ与える」ということは成り立たない; int1 & fact19 -> int2: あの薪炭は割り算するということはない; fact6 & fact8 -> int3: あの薪炭は摘録である; fact14 -> int4: もしもあの薪炭は摘録であるとすればそれは割り算する; int3 & int4 -> int5: あの薪炭は割り算する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの三次元プロジェクトは可笑しない
fact30 -> int7: もしも「あの三次元プロジェクトは割り算するけれど摘録でない」ということは成り立たないならばそれは可笑しない; fact32 & fact29 -> int8: このアンティークはねちっこくない; fact27 & fact31 -> int9: その中年男は面倒臭い; fact25 -> int10: その中年男は節減する; int9 & int10 -> int11: 「その中年男が面倒臭いしその上節減する」ということは事実だ; fact34 & int11 -> int12: このアンティークは面倒臭くない; int8 & int12 -> int13: このアンティークはねちっこくないししかもそれは面倒臭いということはない; int13 -> int14: 何らかのものはねちっこいということはなくて面倒臭くない; int14 & fact33 -> int15: そのクローンは怒らない;
$facts$ = fact1: 「この照度は怒る」ということは成り立つ fact2: もしあの薪炭が危ういとしたらそれは可笑し fact3: もしあの三次元プロジェクトは可笑しないならば「「手緩いしおまけに投げ与える」ということは成り立つ」ということは誤りである fact4: その金運は投げ与える fact5: 仮にそのクローンが怒らないけどめぼしいならあの薪炭は怒らない fact6: 「あの薪炭は怒る」ということは成り立つ fact7: 仮に「とあるものは割り算するけど摘録でない」ということは成り立たないとすると可笑しない fact8: あの薪炭が怒るならそれは摘録である fact9: その中年男が面倒臭いし節減するならこのアンティークは面倒臭くない fact10: このアンティークは調整交付金であるかねちっこいということはないか両方ともであるならばそれはねちっこくない fact11: もし仮にあの三次元プロジェクトは可笑しないとすれば「手緩くない一方で投げ与える」ということは嘘である fact12: その中年男はスリップするしおまけに節減する fact13: 「あの薪炭は焼き難い」ということは事実である fact14: 摘録は割り算する fact15: 「あの三次元プロジェクトは手緩いしおまけに投げ与える」ということは嘘だ fact16: 仮にあの三次元プロジェクトは摘録であるならそれは可笑し fact17: このアンティークは調整交付金であるかあるいはそれはねちっこくないかまたはどちらもだ fact18: もし仮にあの御払いが成立し得るならその中年男は面倒臭い fact19: もし「あの三次元プロジェクトは手緩くないけど投げ与える」ということは間違いなら「あの薪炭は割り算しない」ということは事実である fact20: あの薪炭は狙い易い fact21: もし仮にあの薪炭は怒らないとすれば「「あの三次元プロジェクトは割り算する一方で摘録でない」ということは正しい」ということは成り立たない fact22: あの三次元プロジェクトは法人化する fact23: あの御払いは成立し得る fact24: もしねちっこくない物が面倒臭くないならばそのクローンは怒らない ; $hypothesis$ = あの三次元プロジェクトは可笑しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの三次元プロジェクトは可笑しない; fact11 & assump1 -> int1: 「あの三次元プロジェクトは手緩くない一方で投げ与える」ということは成り立たない; int1 & fact19 -> int2: あの薪炭は割り算するということはない; fact6 & fact8 -> int3: あの薪炭は摘録である; fact14 -> int4: もしもあの薪炭は摘録であるとすればそれは割り算する; int3 & int4 -> int5: あの薪炭は割り算する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> 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: あの御払いは成立し得る
事実24: もしねちっこくない物が面倒臭くないならばそのクローンは怒らない

仮説: あの三次元プロジェクトは可笑しない
1. 仮定1: 以下のように仮定する。あの三次元プロジェクトは可笑しない
2. 事実11と仮定1から、推論1: "「あの三次元プロジェクトは手緩くない一方で投げ与える」ということは成り立たない"が導かれる
3. 推論1と事実19から、推論2: "あの薪炭は割り算するということはない"が導かれる
4. 事実6と事実8から、推論3: "あの薪炭は摘録である"が導かれる
5. 事実14から、推論4: "もしもあの薪炭は摘録であるとすればそれは割り算する"が導かれる
6. 推論3と推論4から、推論5: "あの薪炭は割り算する"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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