この寄せ木は文字方向でない
fact1: もし何かは切り戻すし使い捨てるとすればこの送還は性能規定化だ fact2: この海岸道路は酷い fact3: 「「間違い易いがしかし称賛するということはない」ということは成り立たない」ものはある fact4: この寄せ木は使い捨てる fact5: 仮に「あの孵化は切り戻すし使い捨てる」ということは成り立たないならこの寄せ木は文字方向でない fact6: もし仮になにがしかのものは酷いとしたら「犯し難い」ということは正しい fact7: 「性能規定化で文字方向な」ものはある fact8: もしも「あの仁王門は性能規定化でないかもしくは着目出来るかどちらもだ」ということは成り立たないならばこの送還は切り戻さない fact9: もしも「「性能規定化だがしかし賢くない」ということは確かであるということはない」物があるとすればこの送還は切り戻す fact10: 仮にこの送還が性能規定化であるならばあの寄せ木は文字方向である fact11: もしもその距離分解能は犯し難いとすると「あの仁王門は賢いがしかし励起状態でない」ということは間違っている fact12: もし「酷い」ものはあるとしたら「その距離分解能は御美しいかあるいは酷いかまたは両方ともだ」ということは事実である fact13: その薬理は切り戻す fact14: 仮に「あの孵化は賢くないがしかし着目出来る」ということは間違いだとすればそれは切り戻す fact15: もしこの寄せ木が賢いとすればあの孵化は文字方向である fact16: もし仮に「着目出来る」ものがあるとしたらあの孵化は性能規定化だ fact17: その距離分解能が御美しいなら犯し難い fact18: もしもこの寄せ木が着目出来るということはないとすれば文字方向だ fact19: 「ある物は賢いけど励起状態でない」ということは偽であるとしたらそれは賢いということはない fact20: あの孵化は文字方向だ fact21: 仮に「「間違い易いし称賛しない」ということは偽な」物があるとすればあの孵化は使い捨てる fact22: 「あの孵化は賢いということはない一方で着目出来る」ということは事実と異なる fact23: 「賢い」物はある
fact3 & fact21 -> int1: あの孵化は使い捨てる; fact14 & fact22 -> int2: あの孵化は切り戻す; int1 & int2 -> int3: あの孵化は切り戻すし使い捨てる; int3 -> int4: 「切り戻すし使い捨てる」ものはある; int4 & fact1 -> int5: この送還は性能規定化である; int5 & fact10 -> hypothesis;
この寄せ木は文字方向でない
fact31 -> int6: もし「「あの仁王門は賢いがそれは励起状態でない」ということは誤りである」ということは事実であるとしたら「それは賢くない」ということは成り立つ; fact30 -> int7: 「酷い」物はある; int7 & fact29 -> int8: その距離分解能は御美しいかもしくは酷いかもしくは両方ともである; fact26 -> int9: 仮にその距離分解能が酷いとすればそれは犯し難い; int8 & fact27 & int9 -> int10: その距離分解能は犯し難い; fact24 & int10 -> int11: 「あの仁王門は賢いがそれは励起状態でない」ということは誤りだ; int6 & int11 -> int12: あの仁王門は賢くない;
$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$ = 
fact3 & fact21 -> int1: あの孵化は使い捨てる; fact14 & fact22 -> int2: あの孵化は切り戻す; int1 & int2 -> int3: あの孵化は切り戻すし使い捨てる; int3 -> int4: 「切り戻すし使い捨てる」ものはある; int4 & fact1 -> int5: この送還は性能規定化である; int5 & fact10 -> 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. 事実3と事実21から、推論1: "あの孵化は使い捨てる"が導かれる
2. 事実14と事実22から、推論2: "あの孵化は切り戻す"が導かれる
3. 推論1と推論2から、推論3: "あの孵化は切り戻すし使い捨てる"が導かれる
4. 推論3から、推論4: "「切り戻すし使い捨てる」ものはある"が導かれる
5. 推論4と事実1から、推論5: "この送還は性能規定化である"が導かれる
6. 推論5と事実10から、仮説が否定される

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