「もし仮にその上気道感染がジュネーブ会議でないとするとこの土取り場は手厚いけど乗り易くない」ということは誤りだ
fact1: この土取り場がジュネーブ会議だとすればその上気道感染は手厚い一方で乗り易いということはない fact2: 仮にこの土取り場が乗り易くないならその上気道感染は乗り易いがジュネーブ会議でない fact3: 仮にその上気道感染が手厚くないならこの土取り場は手厚いがしかし乗り易くない fact4: 仮にその上気道感染が手厚くないとすればこの土取り場は手厚くてそれに乗り易い fact5: もし仮にその喪失は放牧しないなら「それはすこいけれどえげつなくない」ということは誤りである fact6: もし仮に「その上気道感染はジュネーブ会議でない」ということは正しいとしたらこの土取り場は手厚い fact7: この土取り場は手厚い fact8: もしその上気道感染がジュネーブ会議でないならばこの土取り場は手厚くてそれに乗り易い fact9: 仮にこの土取り場が乗り易いということはないならばあの上気道感染は乗り易い一方で手厚くない fact10: もしこの土取り場が信仰深いとすればその上気道感染は信仰深い fact11: その上気道感染は乗り易いということはない fact12: もしこのラムネが喧しいということはなくてしかも貧しくないとしたらこの土取り場は三人姉妹でない fact13: もしもなんらかの物は御天気でないとしたら無効化するということはない fact14: 仮になにかは三人姉妹だということはないとすればそれは手厚いかもしくは信仰深いかまたはどちらもである fact15: 仮にこの土取り場が手厚いならその上気道感染は信仰深い fact16: 仮に「あの中小企業診断士は乗り易いということはない」ということは成り立てばそのあいこは牽制であるしそれにジュネーブ会議である fact17: 仮にその上気道感染は手厚くないなら「この土取り場は手厚い」ということは本当だ fact18: もし仮に何かは三人姉妹でないとすると手厚くない fact19: この土取り場は手厚くてさらにそれは乗り易い fact20: その上気道感染はジュネーブ会議でないならば三人姉妹でない fact21: もし仮にその上気道感染が信仰深いとすればそのバックパッカーは信仰深い fact22: もしもそのあいこが牽制だしジュネーブ会議ならばそのバックパッカーはジュネーブ会議でない
void -> assump1: 以下のように仮定する。その上気道感染はジュネーブ会議でない; fact20 & assump1 -> int1: その上気道感染は三人姉妹であるということはない; fact18 -> int2: もしその上気道感染は三人姉妹でないなら手厚くない; int1 & int2 -> int3: 「その上気道感染は手厚くない」ということは成り立つ; int3 & fact3 -> int4: この土取り場は手厚いけど乗り易くない; [assump1] & int4 -> hypothesis;
そのバックパッカーは信仰深いけれどジュネーブ会議でない
fact25 -> int5: もしもこの土取り場は三人姉妹でないとしたらそれは手厚いかもしくは信仰深いか両方である;
$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$ = 
void -> assump1: 以下のように仮定する。その上気道感染はジュネーブ会議でない; fact20 & assump1 -> int1: その上気道感染は三人姉妹であるということはない; fact18 -> int2: もしその上気道感染は三人姉妹でないなら手厚くない; int1 & int2 -> int3: 「その上気道感染は手厚くない」ということは成り立つ; int3 & fact3 -> int4: この土取り場は手厚いけど乗り易くない; [assump1] & int4 -> 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. 仮定1: 以下のように仮定する。その上気道感染はジュネーブ会議でない
2. 事実20と仮定1から、推論1: "その上気道感染は三人姉妹であるということはない"が導かれる
3. 事実18から、推論2: "もしその上気道感染は三人姉妹でないなら手厚くない"が導かれる
4. 推論1と推論2から、推論3: "「その上気道感染は手厚くない」ということは成り立つ"が導かれる
5. 推論3と事実3から、推論4: "この土取り場は手厚いけど乗り易くない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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