「その詩選はしようするし折れ易い」ということは正しいということはない
fact1: なんらかの物がチャクラであるが限り無くないならあの肺高血圧症は甘ーい fact2: もしもなにがしかの物が甘ーいとするとへこたれる fact3: もしもその操舵手は限り無くないならあの肺高血圧症はしようしないけれどチャクラである fact4: もし仮にある物がへこたれるとしたら甘ーいししかも限り無くない fact5: その詩選は折れ易い fact6: もしも「へこたれるか着装しないかあるいはどちらもである」物があるとしたらその詩選はしようする fact7: なんらかのものはチャクラであるがしかし限り無くない
fact7 & fact1 -> int1: あの肺高血圧症は甘ーい; fact2 -> int2: もしもあの肺高血圧症が甘ーいとするとそれはへこたれる; int1 & int2 -> int3: あの肺高血圧症はへこたれる; int3 -> int4: あの肺高血圧症はへこたれるかあるいは着装するということはないか両方ともだ; int4 -> int5: 「へこたれるか着装しないかもしくはどちらもである」物はある; int5 & fact6 -> int6: その詩選はしようする; int6 & fact5 -> hypothesis;
「「その詩選はしようするしその上折れ易い」ということは間違いである」ということは成り立つ
fact9 -> int7: 仮にその操舵手がへこたれるとしたら甘ーい一方で限り無くない;
$facts$ = fact1: なんらかの物がチャクラであるが限り無くないならあの肺高血圧症は甘ーい fact2: もしもなにがしかの物が甘ーいとするとへこたれる fact3: もしもその操舵手は限り無くないならあの肺高血圧症はしようしないけれどチャクラである fact4: もし仮にある物がへこたれるとしたら甘ーいししかも限り無くない fact5: その詩選は折れ易い fact6: もしも「へこたれるか着装しないかあるいはどちらもである」物があるとしたらその詩選はしようする fact7: なんらかのものはチャクラであるがしかし限り無くない ; $hypothesis$ = 「その詩選はしようするし折れ易い」ということは正しいということはない ; $proof$ = 
fact7 & fact1 -> int1: あの肺高血圧症は甘ーい; fact2 -> int2: もしもあの肺高血圧症が甘ーいとするとそれはへこたれる; int1 & int2 -> int3: あの肺高血圧症はへこたれる; int3 -> int4: あの肺高血圧症はへこたれるかあるいは着装するということはないか両方ともだ; int4 -> int5: 「へこたれるか着装しないかもしくはどちらもである」物はある; int5 & fact6 -> int6: その詩選はしようする; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: なんらかの物がチャクラであるが限り無くないならあの肺高血圧症は甘ーい
事実2: もしもなにがしかの物が甘ーいとするとへこたれる
事実3: もしもその操舵手は限り無くないならあの肺高血圧症はしようしないけれどチャクラである
事実4: もし仮にある物がへこたれるとしたら甘ーいししかも限り無くない
事実5: その詩選は折れ易い
事実6: もしも「へこたれるか着装しないかあるいはどちらもである」物があるとしたらその詩選はしようする
事実7: なんらかのものはチャクラであるがしかし限り無くない

仮説: 「その詩選はしようするし折れ易い」ということは正しいということはない
1. 事実7と事実1から、推論1: "あの肺高血圧症は甘ーい"が導かれる
2. 事実2から、推論2: "もしもあの肺高血圧症が甘ーいとするとそれはへこたれる"が導かれる
3. 推論1と推論2から、推論3: "あの肺高血圧症はへこたれる"が導かれる
4. 推論3から、推論4: "あの肺高血圧症はへこたれるかあるいは着装するということはないか両方ともだ"が導かれる
5. 推論4から、推論5: "「へこたれるか着装しないかもしくはどちらもである」物はある"が導かれる
6. 推論5と事実6から、推論6: "その詩選はしようする"が導かれる
7. 推論6と事実5から、仮説が否定される

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