「その船客は重たくて加えて海浜院だ」ということは誤っている
fact1: もしも「その船客は重たくない」ということは偽でないとしたら「あの左弓歩は変数Ｄアットである一方で海浜院でない」ということは事実である fact2: あの左弓歩が変数Ｄアットであるけれど海浜院であるということはないならばこのインストール手順は御寒い fact3: 仮に何らかの物は御寒くないならば「重たくて海浜院だ」ということは成り立つということはない fact4: もし「あの二月末現在は成人しない」ということは事実ならそれは猶予するということはないしその上小汚くない fact5: この憤激は既存製品でない fact6: 仮にこの憤激が小気味良いということはないけれど皮肉っぽいとしたらこの紡績産業は小気味良い fact7: その船客は重たい fact8: もしとある物は既存製品でないならば小気味良くない fact9: その石鹸水は重たい fact10: もしも何らかの物が猶予しなくて更にそれが小汚くないとすればこの憤激は皮肉っぽい fact11: もしこの紡績産業が小気味良いとしたらこの達成度は遣り兼ねる fact12: あの側方運動は見せ合わないけど植物プランクトンである fact13: 仮に何らかのものがリーチしないかあるいは遣り取り出来ないかまたはどちらもであるとするとこの達成度はリーチしない fact14: もしあの側方運動が見せ合わないけれど植物プランクトンであるならばこの施工技術は植物プランクトンでない fact15: もし仮にあの左弓歩が御寒いとしたら海浜院でない fact16: もし仮にあの左弓歩が海浜院でないとするとその船客は重たくて更に海浜院だ fact17: あの二月末現在は成人するということはない fact18: あの左弓歩は御寒い fact19: もしこの施工技術が植物プランクトンでないとするとその夜魔はリーチしないかもしくは遣り取り出来ないかあるいは両方である fact20: 仮にとあるものがリーチしないとすると抱え直すしおまけに調査専門家である fact21: もしあの左弓歩が海浜院でないとするとその船客は重たい
fact15 & fact18 -> int1: あの左弓歩は海浜院でない; int1 & fact16 -> hypothesis;
fact15 & fact18 -> int1: ¬{B}{a}; int1 & fact16 -> hypothesis;
「このインストール手順は御寒い」ということは本当である
fact34 -> int2: もし仮にこの憤激は既存製品でないなら小気味良くない; int2 & fact28 -> int3: この憤激は小気味良いということはない; fact29 & fact26 -> int4: あの二月末現在は猶予しなくてかつそれは小汚くない; int4 -> int5: なんらかの物は猶予しなくてそれに小汚くない; int5 & fact31 -> int6: この憤激は皮肉っぽい; int3 & int6 -> int7: この憤激は小気味良くないがしかし皮肉っぽい; fact24 & int7 -> int8: この紡績産業は小気味良い; fact22 & int8 -> int9: この達成度は遣り兼ねる; fact33 -> int10: 仮にこの達成度がリーチしないとしたらそれは抱え直すし更に調査専門家である; fact23 & fact32 -> int11: この施工技術は植物プランクトンでない; fact25 & int11 -> int12: その夜魔はリーチするということはないかまたは遣り取り出来ないかもしくは両方だ; int12 -> int13: あるものはリーチしないか遣り取り出来ないかまたはどちらもである; int13 & fact30 -> int14: この達成度はリーチするということはない; int10 & int14 -> int15: この達成度は抱え直すしそれは調査専門家だ; int15 -> int16: 「この達成度は抱え直す」ということは事実だ; int9 & int16 -> int17: この達成度は遣り兼ねるし抱え直す; int17 -> int18: なんらかのものは遣り兼ねるしかつそれは抱え直す;
$facts$ = fact1: もしも「その船客は重たくない」ということは偽でないとしたら「あの左弓歩は変数Ｄアットである一方で海浜院でない」ということは事実である fact2: あの左弓歩が変数Ｄアットであるけれど海浜院であるということはないならばこのインストール手順は御寒い fact3: 仮に何らかの物は御寒くないならば「重たくて海浜院だ」ということは成り立つということはない fact4: もし「あの二月末現在は成人しない」ということは事実ならそれは猶予するということはないしその上小汚くない fact5: この憤激は既存製品でない fact6: 仮にこの憤激が小気味良いということはないけれど皮肉っぽいとしたらこの紡績産業は小気味良い fact7: その船客は重たい fact8: もしとある物は既存製品でないならば小気味良くない fact9: その石鹸水は重たい fact10: もしも何らかの物が猶予しなくて更にそれが小汚くないとすればこの憤激は皮肉っぽい fact11: もしこの紡績産業が小気味良いとしたらこの達成度は遣り兼ねる fact12: あの側方運動は見せ合わないけど植物プランクトンである fact13: 仮に何らかのものがリーチしないかあるいは遣り取り出来ないかまたはどちらもであるとするとこの達成度はリーチしない fact14: もしあの側方運動が見せ合わないけれど植物プランクトンであるならばこの施工技術は植物プランクトンでない fact15: もし仮にあの左弓歩が御寒いとしたら海浜院でない fact16: もし仮にあの左弓歩が海浜院でないとするとその船客は重たくて更に海浜院だ fact17: あの二月末現在は成人するということはない fact18: あの左弓歩は御寒い fact19: もしこの施工技術が植物プランクトンでないとするとその夜魔はリーチしないかもしくは遣り取り出来ないかあるいは両方である fact20: 仮にとあるものがリーチしないとすると抱え直すしおまけに調査専門家である fact21: もしあの左弓歩が海浜院でないとするとその船客は重たい ; $hypothesis$ = 「その船客は重たくて加えて海浜院だ」ということは誤っている ; $proof$ = 
fact15 & fact18 -> int1: あの左弓歩は海浜院でない; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: もしも「その船客は重たくない」ということは偽でないとしたら「あの左弓歩は変数Ｄアットである一方で海浜院でない」ということは事実である
事実2: あの左弓歩が変数Ｄアットであるけれど海浜院であるということはないならばこのインストール手順は御寒い
事実3: 仮に何らかの物は御寒くないならば「重たくて海浜院だ」ということは成り立つということはない
事実4: もし「あの二月末現在は成人しない」ということは事実ならそれは猶予するということはないしその上小汚くない
事実5: この憤激は既存製品でない
事実6: 仮にこの憤激が小気味良いということはないけれど皮肉っぽいとしたらこの紡績産業は小気味良い
事実7: その船客は重たい
事実8: もしとある物は既存製品でないならば小気味良くない
事実9: その石鹸水は重たい
事実10: もしも何らかの物が猶予しなくて更にそれが小汚くないとすればこの憤激は皮肉っぽい
事実11: もしこの紡績産業が小気味良いとしたらこの達成度は遣り兼ねる
事実12: あの側方運動は見せ合わないけど植物プランクトンである
事実13: 仮に何らかのものがリーチしないかあるいは遣り取り出来ないかまたはどちらもであるとするとこの達成度はリーチしない
事実14: もしあの側方運動が見せ合わないけれど植物プランクトンであるならばこの施工技術は植物プランクトンでない
事実15: もし仮にあの左弓歩が御寒いとしたら海浜院でない
事実16: もし仮にあの左弓歩が海浜院でないとするとその船客は重たくて更に海浜院だ
事実17: あの二月末現在は成人するということはない
事実18: あの左弓歩は御寒い
事実19: もしこの施工技術が植物プランクトンでないとするとその夜魔はリーチしないかもしくは遣り取り出来ないかあるいは両方である
事実20: 仮にとあるものがリーチしないとすると抱え直すしおまけに調査専門家である
事実21: もしあの左弓歩が海浜院でないとするとその船客は重たい

仮説: 「その船客は重たくて加えて海浜院だ」ということは誤っている
1. 事実15と事実18から、推論1: "あの左弓歩は海浜院でない"が導かれる
2. 推論1と事実16から、仮説が否定される

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