「この満潮時は軽いということはないけどそれは休眠する」ということは成り立たない
fact1: もしもあの胡椒が太り難いならこの七つ小屋山は太り難い fact2: 立て難くないか生産設備でないかまたはどちらもであるというものはない fact3: 甘辛いものは不当執行でないが参列する fact4: もし仮になにがしかのものは不当執行であるとすれば「「育て易くないかあるいはハンドミキサーでないか両方だ」ということは成り立つ」ということは誤っている fact5: その労働者達が不当執行でないとすればこの満潮時は参列しない fact6: その労働者達は紙質であるということはない fact7: もしこの満潮時が参列しないとしたらそれは軽くない fact8: もし「なんらかのものは立て難くないか生産設備だということはないかまたは両方だ」ということは誤っていればそれは不当執行でない fact9: もし仮にこの七つ小屋山は太り難くて際どいとしたらそれは眠くない fact10: 「その労働者達は立て難い」ということは事実だ fact11: すべてのものは立て難い fact12: もし仮に「とある物は立て難いか生産設備でない」ということは嘘であるならば不当執行でない fact13: もし仮に何らかの物が参列しないならそれは軽くない fact14: もしとある物が参列しないならば軽くない一方で休眠する fact15: そのアークはちっちゃい fact16: この百三号室はＯツープラスでない fact17: 「その労働者達は立て難いということはないかもしくは軽くないか両方ともである」ということは成り立たない fact18: この満潮時は軽くない fact19: 仮にあの創外固定がちっちゃいならばあの胡椒は太り難い fact20: 眠くないものは甘辛いし更に青臭い fact21: もし仮に「その労働者達は立て難いかもしくは生産設備でないかどちらもである」ということは成り立たないとすれば不当執行だということはない fact22: 仮に「あの薬局薬剤師は消しゴムでない一方で際どい」ということは成り立たないならこの七つ小屋山は際どい fact23: もしそのアークがちっちゃいとすればあの創外固定はちっちゃい
fact2 -> int1: 「その労働者達は立て難くないかまたはそれは生産設備でない」ということは成り立たない; fact8 -> int2: 「その労働者達は立て難くないかあるいはそれは生産設備であるということはない」ということは成り立たないとすればそれは不当執行であるということはない; int1 & int2 -> int3: その労働者達は不当執行だということはない; int3 & fact5 -> int4: この満潮時は参列しない; fact14 -> int5: もしこの満潮時が参列するということはないなら軽くない一方で休眠する; int4 & int5 -> hypothesis;
育て易くないかあるいはそれはハンドミキサーでないというものはない
fact24 -> int6: 仮にこの満潮時は不当執行であるならば「育て易くないかあるいはハンドミキサーだということはないかまたはどちらもである」ということは間違っている;
$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$ = 
fact2 -> int1: 「その労働者達は立て難くないかまたはそれは生産設備でない」ということは成り立たない; fact8 -> int2: 「その労働者達は立て難くないかあるいはそれは生産設備であるということはない」ということは成り立たないとすればそれは不当執行であるということはない; int1 & int2 -> int3: その労働者達は不当執行だということはない; int3 & fact5 -> int4: この満潮時は参列しない; fact14 -> int5: もしこの満潮時が参列するということはないなら軽くない一方で休眠する; int4 & int5 -> 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. 事実2から、推論1: "「その労働者達は立て難くないかまたはそれは生産設備でない」ということは成り立たない"が導かれる
2. 事実8から、推論2: "「その労働者達は立て難くないかあるいはそれは生産設備であるということはない」ということは成り立たないとすればそれは不当執行であるということはない"が導かれる
3. 推論1と推論2から、推論3: "その労働者達は不当執行だということはない"が導かれる
4. 推論3と事実5から、推論4: "この満潮時は参列しない"が導かれる
5. 事実14から、推論5: "もしこの満潮時が参列するということはないなら軽くない一方で休眠する"が導かれる
6. 推論4と推論5から、仮説が否定される

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