その四本柱は得難し
fact1: もしもその四本柱が固いとすればその五Ｒは得難し fact2: ある物は悪玉でないけれどあくどいならば「丸っこくない」ということは成り立つ fact3: 丸っこいということはないものは動き易くない fact4: 仮にあの沖縄返還が吹奏するということはないかあるいは酷いかあるいはどちらもだとしたらこのアイゴーは吹奏しない fact5: 丸っこくないものは固いし加えて動き易い fact6: 仮に何かは遣り合うということはないとすれば「飽きっぽいしおまけにあくどい」ということは間違いである fact7: 動き易いということはない物は固いかもしくは得難しない fact8: その貸し出しエリアは固くて加えて動き易い fact9: 「酷い」ものはあれば「その四本柱は遣り合わなくて飽きっぽくない」ということは誤っている fact10: あの沖縄返還は柔らかい fact11: 柔らかいものは吹奏しないかまたは酷いかまたは両方ともである fact12: その借財は非難出来ない fact13: 仮に何らかの物が動き易いとすればそれは得難し fact14: もしも「その四本柱は得難し」ということは正しいとするとその貸し出しエリアは動き易くない fact15: もし仮にその四本柱が得難しないならばその五Ｒは得難し fact16: もしも「吹奏しない」ものがあるとしたらその貸し出しエリアは悪玉でない fact17: もしもその借財が通貨記号であるか非難出来ないかどちらもだとすれば遣り合わない fact18: 「「その借財は飽きっぽいししかもあくどい」ということは事実と異なる」ということは本当であるとすればあの貸し出しエリアはあくどくない fact19: その借財は柔らかい fact20: 仮にその借財が柔らかいならその貸し出しエリアは酷い fact21: もしも「なにかは遣り合わないししかも飽きっぽくない」ということは確かでないならそれは吹奏するということはない
void -> assump1: 以下のように仮定する。その四本柱は得難し; fact14 & assump1 -> int1: その貸し出しエリアは動き易くない; fact8 -> int2: その貸し出しエリアは動き易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その五Ｒは得難し
fact26 -> int4: もし仮にその四本柱が動き易くないなら固いかもしくは得難しないかまたは両方である; fact28 -> int5: 仮に「その四本柱は丸っこくない」ということは間違いでないとすると動き易くない; fact23 -> int6: 仮にその四本柱は悪玉でないけれどあくどいとすると丸っこいということはない; fact22 -> int7: もし仮に「その四本柱は遣り合わなくてまた飽きっぽくない」ということは誤っているとしたら吹奏しない; fact25 & fact27 -> int8: その貸し出しエリアは酷い; int8 -> int9: 酷いものはある; int9 & fact30 -> int10: 「その四本柱は遣り合わないしかつ飽きっぽくない」ということは間違っている; int7 & int10 -> int11: その四本柱は吹奏しない;
$facts$ = fact1: もしもその四本柱が固いとすればその五Ｒは得難し fact2: ある物は悪玉でないけれどあくどいならば「丸っこくない」ということは成り立つ fact3: 丸っこいということはないものは動き易くない fact4: 仮にあの沖縄返還が吹奏するということはないかあるいは酷いかあるいはどちらもだとしたらこのアイゴーは吹奏しない fact5: 丸っこくないものは固いし加えて動き易い fact6: 仮に何かは遣り合うということはないとすれば「飽きっぽいしおまけにあくどい」ということは間違いである fact7: 動き易いということはない物は固いかもしくは得難しない fact8: その貸し出しエリアは固くて加えて動き易い fact9: 「酷い」ものはあれば「その四本柱は遣り合わなくて飽きっぽくない」ということは誤っている fact10: あの沖縄返還は柔らかい fact11: 柔らかいものは吹奏しないかまたは酷いかまたは両方ともである fact12: その借財は非難出来ない fact13: 仮に何らかの物が動き易いとすればそれは得難し fact14: もしも「その四本柱は得難し」ということは正しいとするとその貸し出しエリアは動き易くない fact15: もし仮にその四本柱が得難しないならばその五Ｒは得難し fact16: もしも「吹奏しない」ものがあるとしたらその貸し出しエリアは悪玉でない fact17: もしもその借財が通貨記号であるか非難出来ないかどちらもだとすれば遣り合わない fact18: 「「その借財は飽きっぽいししかもあくどい」ということは事実と異なる」ということは本当であるとすればあの貸し出しエリアはあくどくない fact19: その借財は柔らかい fact20: 仮にその借財が柔らかいならその貸し出しエリアは酷い fact21: もしも「なにかは遣り合わないししかも飽きっぽくない」ということは確かでないならそれは吹奏するということはない ; $hypothesis$ = その四本柱は得難し ; $proof$ = 
void -> assump1: 以下のように仮定する。その四本柱は得難し; fact14 & assump1 -> int1: その貸し出しエリアは動き易くない; fact8 -> int2: その貸し出しエリアは動き易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもその四本柱が固いとすればその五Ｒは得難し
事実2: ある物は悪玉でないけれどあくどいならば「丸っこくない」ということは成り立つ
事実3: 丸っこいということはないものは動き易くない
事実4: 仮にあの沖縄返還が吹奏するということはないかあるいは酷いかあるいはどちらもだとしたらこのアイゴーは吹奏しない
事実5: 丸っこくないものは固いし加えて動き易い
事実6: 仮に何かは遣り合うということはないとすれば「飽きっぽいしおまけにあくどい」ということは間違いである
事実7: 動き易いということはない物は固いかもしくは得難しない
事実8: その貸し出しエリアは固くて加えて動き易い
事実9: 「酷い」ものはあれば「その四本柱は遣り合わなくて飽きっぽくない」ということは誤っている
事実10: あの沖縄返還は柔らかい
事実11: 柔らかいものは吹奏しないかまたは酷いかまたは両方ともである
事実12: その借財は非難出来ない
事実13: 仮に何らかの物が動き易いとすればそれは得難し
事実14: もしも「その四本柱は得難し」ということは正しいとするとその貸し出しエリアは動き易くない
事実15: もし仮にその四本柱が得難しないならばその五Ｒは得難し
事実16: もしも「吹奏しない」ものがあるとしたらその貸し出しエリアは悪玉でない
事実17: もしもその借財が通貨記号であるか非難出来ないかどちらもだとすれば遣り合わない
事実18: 「「その借財は飽きっぽいししかもあくどい」ということは事実と異なる」ということは本当であるとすればあの貸し出しエリアはあくどくない
事実19: その借財は柔らかい
事実20: 仮にその借財が柔らかいならその貸し出しエリアは酷い
事実21: もしも「なにかは遣り合わないししかも飽きっぽくない」ということは確かでないならそれは吹奏するということはない

仮説: その四本柱は得難し
1. 仮定1: 以下のように仮定する。その四本柱は得難し
2. 事実14と仮定1から、推論1: "その貸し出しエリアは動き易くない"が導かれる
3. 事実8から、推論2: "その貸し出しエリアは動き易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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