「あのプロデューシング・ワークは囁き交わす」ということは成り立たない
fact1: 物欲しい物はしつっこい fact2: あのプロデューシング・ワークは看過し難いしかつそれは見られ易い fact3: あの景品は囁き交わす一方で着信するということはない fact4: 「もし仮にその属地がしゃあ無くて重いならあの資本額は重くない」ということは確かである fact5: もし仮に何らかの物が重くないならば許し難いということはないしその上総計しない fact6: あの資本額は総計しないとすると「この成果物は看過し難くないし慣れ切らない」ということは成り立たない fact7: その属地は止む無くない fact8: あの飛は物欲しかない fact9: あのプロデューシング・ワークはしつっこい fact10: あのプロデューシング・ワークが物欲しかないならそれは社外流出する fact11: あのプロデューシング・ワークは燃え易い fact12: もしも「この成果物は看過し難くないしおまけに慣れ切らない」ということは嘘であるならばあの特売は看過し難い fact13: もしあのプロデューシング・ワークが物欲しいとすればしつっこい fact14: 「この前掛けは見られ易い」ということは真実だ fact15: もしあのプロデューシング・ワークが社外流出するなら囁き交わす fact16: 物欲しいものはしつっこいけれど見られ易いということはない fact17: 「あのプロデューシング・ワークは看過し難い」ということは確かである fact18: もし「その特売は看過し難い」ということは成り立つとしたら「あのプロデューシング・ワークが物欲しかないしさらにそれは社外流出するということはない」ということは間違いだ fact19: もし仮にその属地は止む無いということはないとしたら「民話でなくて行くちゃんでない」ということは誤りである fact20: その開戦後が発進立坑でないとすればその属地は重くて職務専念義務だ fact21: あのプロデューシング・ワークは著しかない fact22: もしも「ある物は民話でなくておまけに行くちゃんでない」ということは誤りだとすればそれはしゃあ無い
fact16 -> int1: 仮にあのプロデューシング・ワークが物欲しいとしたらそれはしつっこい一方で見られ易いということはない; void -> assump1: 以下のように仮定する。あのプロデューシング・ワークは物欲しい; int1 & assump1 -> int2: あのプロデューシング・ワークはしつっこいがそれは見られ易くない; int2 -> int3: あのプロデューシング・ワークは見られ易くない; fact2 -> int4: あのプロデューシング・ワークは見られ易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あのプロデューシング・ワークは物欲しかない」ということは成り立つ; int6 & fact10 -> int7: あのプロデューシング・ワークは社外流出する; int7 & fact15 -> hypothesis;
「あのプロデューシング・ワークは囁き交わす」ということは誤っている
fact27 -> int8: 仮にあの資本額は重くないならば「許し難いということはなくてそれは総計しない」ということは確かだ; fact30 -> int9: 仮に「その属地は民話でないし行くちゃんでない」ということは事実と異なれば「それはしゃあ無い」ということは本当だ; fact26 & fact31 -> int10: 「その属地は民話でないしおまけにそれは行くちゃんであるない」ということは成り立たない; int9 & int10 -> int11: その属地はしゃあ無い;
$facts$ = fact1: 物欲しい物はしつっこい fact2: あのプロデューシング・ワークは看過し難いしかつそれは見られ易い fact3: あの景品は囁き交わす一方で着信するということはない fact4: 「もし仮にその属地がしゃあ無くて重いならあの資本額は重くない」ということは確かである fact5: もし仮に何らかの物が重くないならば許し難いということはないしその上総計しない fact6: あの資本額は総計しないとすると「この成果物は看過し難くないし慣れ切らない」ということは成り立たない fact7: その属地は止む無くない fact8: あの飛は物欲しかない fact9: あのプロデューシング・ワークはしつっこい fact10: あのプロデューシング・ワークが物欲しかないならそれは社外流出する fact11: あのプロデューシング・ワークは燃え易い fact12: もしも「この成果物は看過し難くないしおまけに慣れ切らない」ということは嘘であるならばあの特売は看過し難い fact13: もしあのプロデューシング・ワークが物欲しいとすればしつっこい fact14: 「この前掛けは見られ易い」ということは真実だ fact15: もしあのプロデューシング・ワークが社外流出するなら囁き交わす fact16: 物欲しいものはしつっこいけれど見られ易いということはない fact17: 「あのプロデューシング・ワークは看過し難い」ということは確かである fact18: もし「その特売は看過し難い」ということは成り立つとしたら「あのプロデューシング・ワークが物欲しかないしさらにそれは社外流出するということはない」ということは間違いだ fact19: もし仮にその属地は止む無いということはないとしたら「民話でなくて行くちゃんでない」ということは誤りである fact20: その開戦後が発進立坑でないとすればその属地は重くて職務専念義務だ fact21: あのプロデューシング・ワークは著しかない fact22: もしも「ある物は民話でなくておまけに行くちゃんでない」ということは誤りだとすればそれはしゃあ無い ; $hypothesis$ = 「あのプロデューシング・ワークは囁き交わす」ということは成り立たない ; $proof$ = 
fact16 -> int1: 仮にあのプロデューシング・ワークが物欲しいとしたらそれはしつっこい一方で見られ易いということはない; void -> assump1: 以下のように仮定する。あのプロデューシング・ワークは物欲しい; int1 & assump1 -> int2: あのプロデューシング・ワークはしつっこいがそれは見られ易くない; int2 -> int3: あのプロデューシング・ワークは見られ易くない; fact2 -> int4: あのプロデューシング・ワークは見られ易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あのプロデューシング・ワークは物欲しかない」ということは成り立つ; int6 & fact10 -> int7: あのプロデューシング・ワークは社外流出する; int7 & fact15 -> hypothesis; __DISPROVED__
事実1: 物欲しい物はしつっこい
事実2: あのプロデューシング・ワークは看過し難いしかつそれは見られ易い
事実3: あの景品は囁き交わす一方で着信するということはない
事実4: 「もし仮にその属地がしゃあ無くて重いならあの資本額は重くない」ということは確かである
事実5: もし仮に何らかの物が重くないならば許し難いということはないしその上総計しない
事実6: あの資本額は総計しないとすると「この成果物は看過し難くないし慣れ切らない」ということは成り立たない
事実7: その属地は止む無くない
事実8: あの飛は物欲しかない
事実9: あのプロデューシング・ワークはしつっこい
事実10: あのプロデューシング・ワークが物欲しかないならそれは社外流出する
事実11: あのプロデューシング・ワークは燃え易い
事実12: もしも「この成果物は看過し難くないしおまけに慣れ切らない」ということは嘘であるならばあの特売は看過し難い
事実13: もしあのプロデューシング・ワークが物欲しいとすればしつっこい
事実14: 「この前掛けは見られ易い」ということは真実だ
事実15: もしあのプロデューシング・ワークが社外流出するなら囁き交わす
事実16: 物欲しいものはしつっこいけれど見られ易いということはない
事実17: 「あのプロデューシング・ワークは看過し難い」ということは確かである
事実18: もし「その特売は看過し難い」ということは成り立つとしたら「あのプロデューシング・ワークが物欲しかないしさらにそれは社外流出するということはない」ということは間違いだ
事実19: もし仮にその属地は止む無いということはないとしたら「民話でなくて行くちゃんでない」ということは誤りである
事実20: その開戦後が発進立坑でないとすればその属地は重くて職務専念義務だ
事実21: あのプロデューシング・ワークは著しかない
事実22: もしも「ある物は民話でなくておまけに行くちゃんでない」ということは誤りだとすればそれはしゃあ無い

仮説: 「あのプロデューシング・ワークは囁き交わす」ということは成り立たない
1. 事実16から、推論1: "仮にあのプロデューシング・ワークが物欲しいとしたらそれはしつっこい一方で見られ易いということはない"が導かれる
2. 仮定1: 以下のように仮定する。あのプロデューシング・ワークは物欲しい
3. 推論1と仮定1から、推論2: "あのプロデューシング・ワークはしつっこいがそれは見られ易くない"が導かれる
4. 推論2から、推論3: "あのプロデューシング・ワークは見られ易くない"が導かれる
5. 事実2から、推論4: "あのプロデューシング・ワークは見られ易い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あのプロデューシング・ワークは物欲しかない」ということは成り立つ"が導かれる
8. 推論6と事実10から、推論7: "あのプロデューシング・ワークは社外流出する"が導かれる
9. 推論7と事実15から、仮説が否定される

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