その聖王は分解され難くない
fact1: もし「目の玉でない」物があるならその聖王は戻し易くない fact2: 「もしとある物が重症であるかもしくはそれが放すということはないとすればあのＰＲ活動は世慣れない」ということは確かである fact3: 仮にあの芝刈り機が共同出資すれば重症であるかもしくはそれは放さないかあるいは両方ともだ fact4: もしも「分厚くない」物があるとすればその聖王は心安いということはないし自失しない fact5: もしも「堅苦しくない」ものがあるならこのＲＰＺＢは土下座しない fact6: この電話連絡が特定する一方でそれが勃発しないとすればそれは結び付き易い fact7: あの芝刈り機は共同出資する fact8: なにがしかの物は心安くなくて更に自失しないとしたら分解され難い fact9: 仮にその生産個数が混交するならこの細胞周期チェックポイント機構は混交する fact10: もしもこの揺らぎは自失すれば「あの否認権行使は心安くなくてまた分厚くない」ということは偽である fact11: とある物はウッドパネルであるがしかし学術書でないとするとそれは押さえ難い fact12: もし仮にこの竹竿が塗り替えるならこのヲサル山遺跡は絞り入れる fact13: もしこの巨大分子がビジネスシーンでないならばあの揺らぎは自失する fact14: もしも「世慣れない」物があるとするとこの刺激性は混交する fact15: 仮に「なんらかのものはコックピットだがそれは広まらない」ということは成り立たないとしたらそれはコックピットでない fact16: もしも「近世以降でない」物はあるとすれば「その聖王は疲れ易くない」ということは事実だ fact17: もしその生産個数が貪り尽くすとしたらこの細胞周期チェックポイント機構は混交する fact18: もし仮になにかは混交するならその生産個数は貪り尽くすか混交する fact19: もし仮になんらかの物がコックピットでないとすればそれはビジネスシーンでないけれどオランダ商館だ fact20: もしも「この細胞周期チェックポイント機構は混交する」ということは真実であるならば「この竹竿は塗り替える」ということは事実である fact21: 「分厚くない」物はある fact22: もし仮に「絞り入れる」ものはあれば「この巨大分子はコックピットである一方で広まらない」ということは成り立つということはない
fact21 & fact4 -> int1: その聖王は心安くないしその上自失するということはない; fact8 -> int2: 仮にその聖王は心安くないし自失しないとするとそれは分解され難い; int1 & int2 -> hypothesis;
fact21 & fact4 -> int1: (¬{B}{a} & ¬{C}{a}); fact8 -> int2: (¬{B}{a} & ¬{C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
「その聖王は分解され難くない」ということは事実である
fact36 -> int3: もしも「この巨大分子はコックピットだということはない」ということは成り立つなら「それはビジネスシーンだということはなくて加えてオランダ商館だ」ということは事実だ; fact35 -> int4: 仮に「この巨大分子がコックピットだけど広まらない」ということは成り立たないとしたらコックピットでない; fact27 & fact28 -> int5: あの芝刈り機は重症であるか放さない; int5 -> int6: とあるものは重症であるかまたは放さないかまたは両方である; int6 & fact33 -> int7: そのＰＲ活動は世慣れない; int7 -> int8: とある物は世慣れない; int8 & fact30 -> int9: この刺激性は混交する; int9 -> int10: 「「混交する」ということは成り立つ」ものはある; int10 & fact24 -> int11: その生産個数は貪り尽くすかまたは混交するかもしくは両方である; int11 & fact23 & fact26 -> int12: 「この細胞周期チェックポイント機構は混交する」ということは真実だ; fact34 & int12 -> int13: この竹竿は塗り替える; fact25 & int13 -> int14: このヲサル山遺跡は絞り入れる; int14 -> int15: 「絞り入れる」ものはある; int15 & fact29 -> int16: 「この巨大分子はコックピットであるがしかし広まるということはない」ということは成り立たない; int4 & int16 -> int17: この巨大分子はコックピットでない; int3 & int17 -> int18: この巨大分子はビジネスシーンであるということはないけどオランダ商館だ; int18 -> int19: この巨大分子はビジネスシーンでない; fact31 & int19 -> int20: この揺らぎは自失する; fact32 & int20 -> int21: 「あの否認権行使は心安くないしその上分厚くない」ということは嘘だ; int21 -> int22: 「「心安くないしかつ分厚くない」ということは嘘な」ものはある;
$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$ = 
fact21 & fact4 -> int1: その聖王は心安くないしその上自失するということはない; fact8 -> int2: 仮にその聖王は心安くないし自失しないとするとそれは分解され難い; int1 & int2 -> 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. 事実21と事実4から、推論1: "その聖王は心安くないしその上自失するということはない"が導かれる
2. 事実8から、推論2: "仮にその聖王は心安くないし自失しないとするとそれは分解され難い"が導かれる
3. 推論1と推論2から、仮説が否定される

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