このトレーニングレベルは年間降水量でないかもしくはそれは便利であるかあるいは両方ともである
fact1: 「このトレーニングレベルはせこくない」ということは成り立つ fact2: そのヒ具はちっこくないかだらし無くないかまたは両方である fact3: もしもそのヒ具が自重しないけれどどきどきするとすればこの書は錆無いということはない fact4: もしもこのトレーニングレベルはせこくないとすれば「車優先でないし年間降水量でない」ということは誤っている fact5: そのヒ具がちっこくないかまたはそれがだらし無くないとすると物凄まじくない fact6: そのヒ具はせこいけれど車優先でない fact7: この書は錆無くないなら「このトレーニングレベルは年間降水量でないかそれは便利であるかまたはどちらもである」ということは成り立たない fact8: 「「車優先だということはなくて年間降水量でない」ということは偽な」物があるならこの書は便利だ fact9: そのヒ具は移り難い fact10: もしもそのヒ具はせこいけど車優先だということはないならばそれはどきどきする fact11: もし仮にそのヒ具は移り難いとしたら「自重するしまた物凄まじくない」ということは誤っている fact12: そのヒ具がどきどきしないならあの浮標は自重するしまた物凄まじい fact13: もし仮に何らかの物は自重するとしたら「折り返し点であるということはないかあるいはそれは首尾良い」ということは間違っている
fact5 & fact2 -> int1: そのヒ具は物凄まじくない; void -> assump1: 以下のように仮定する。そのヒ具は自重する; int1 & assump1 -> int2: そのヒ具は自重するがしかしそれは物凄まじくない; fact11 & fact9 -> int3: 「そのヒ具は自重する一方で物凄まじいということはない」ということは成り立つということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのヒ具は自重しない; fact6 & fact10 -> int6: そのヒ具はどきどきする; int5 & int6 -> int7: そのヒ具は自重しないがどきどきする; int7 & fact3 -> int8: この書は錆無くない; int8 & fact7 -> hypothesis;
「あの浮標は折り返し点でないか首尾良いかあるいはどちらもである」ということは成り立たない
fact15 -> int9: もし仮に「あの浮標は自重する」ということは成り立てば「折り返し点であるということはないか首尾良いかまたはどちらもである」ということは偽だ; fact14 & fact18 -> int10: 「このトレーニングレベルは車優先であるということはなくてまた年間降水量でない」ということは成り立たない; int10 -> int11: 「「車優先でないしさらに年間降水量でない」ということは間違っている」物はある; int11 & fact17 -> int12: この書は便利である; int12 -> int13: この書は錆無いかまたは便利である; int13 -> int14: なんらかのものは錆無いかあるいは便利だ;
$facts$ = fact1: 「このトレーニングレベルはせこくない」ということは成り立つ fact2: そのヒ具はちっこくないかだらし無くないかまたは両方である fact3: もしもそのヒ具が自重しないけれどどきどきするとすればこの書は錆無いということはない fact4: もしもこのトレーニングレベルはせこくないとすれば「車優先でないし年間降水量でない」ということは誤っている fact5: そのヒ具がちっこくないかまたはそれがだらし無くないとすると物凄まじくない fact6: そのヒ具はせこいけれど車優先でない fact7: この書は錆無くないなら「このトレーニングレベルは年間降水量でないかそれは便利であるかまたはどちらもである」ということは成り立たない fact8: 「「車優先だということはなくて年間降水量でない」ということは偽な」物があるならこの書は便利だ fact9: そのヒ具は移り難い fact10: もしもそのヒ具はせこいけど車優先だということはないならばそれはどきどきする fact11: もし仮にそのヒ具は移り難いとしたら「自重するしまた物凄まじくない」ということは誤っている fact12: そのヒ具がどきどきしないならあの浮標は自重するしまた物凄まじい fact13: もし仮に何らかの物は自重するとしたら「折り返し点であるということはないかあるいはそれは首尾良い」ということは間違っている ; $hypothesis$ = このトレーニングレベルは年間降水量でないかもしくはそれは便利であるかあるいは両方ともである ; $proof$ = 
fact5 & fact2 -> int1: そのヒ具は物凄まじくない; void -> assump1: 以下のように仮定する。そのヒ具は自重する; int1 & assump1 -> int2: そのヒ具は自重するがしかしそれは物凄まじくない; fact11 & fact9 -> int3: 「そのヒ具は自重する一方で物凄まじいということはない」ということは成り立つということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのヒ具は自重しない; fact6 & fact10 -> int6: そのヒ具はどきどきする; int5 & int6 -> int7: そのヒ具は自重しないがどきどきする; int7 & fact3 -> int8: この書は錆無くない; int8 & fact7 -> hypothesis; __DISPROVED__
事実1: 「このトレーニングレベルはせこくない」ということは成り立つ
事実2: そのヒ具はちっこくないかだらし無くないかまたは両方である
事実3: もしもそのヒ具が自重しないけれどどきどきするとすればこの書は錆無いということはない
事実4: もしもこのトレーニングレベルはせこくないとすれば「車優先でないし年間降水量でない」ということは誤っている
事実5: そのヒ具がちっこくないかまたはそれがだらし無くないとすると物凄まじくない
事実6: そのヒ具はせこいけれど車優先でない
事実7: この書は錆無くないなら「このトレーニングレベルは年間降水量でないかそれは便利であるかまたはどちらもである」ということは成り立たない
事実8: 「「車優先だということはなくて年間降水量でない」ということは偽な」物があるならこの書は便利だ
事実9: そのヒ具は移り難い
事実10: もしもそのヒ具はせこいけど車優先だということはないならばそれはどきどきする
事実11: もし仮にそのヒ具は移り難いとしたら「自重するしまた物凄まじくない」ということは誤っている
事実12: そのヒ具がどきどきしないならあの浮標は自重するしまた物凄まじい
事実13: もし仮に何らかの物は自重するとしたら「折り返し点であるということはないかあるいはそれは首尾良い」ということは間違っている

仮説: このトレーニングレベルは年間降水量でないかもしくはそれは便利であるかあるいは両方ともである
1. 事実5と事実2から、推論1: "そのヒ具は物凄まじくない"が導かれる
2. 仮定1: 以下のように仮定する。そのヒ具は自重する
3. 推論1と仮定1から、推論2: "そのヒ具は自重するがしかしそれは物凄まじくない"が導かれる
4. 事実11と事実9から、推論3: "「そのヒ具は自重する一方で物凄まじいということはない」ということは成り立つということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのヒ具は自重しない"が導かれる
7. 事実6と事実10から、推論6: "そのヒ具はどきどきする"が導かれる
8. 推論5と推論6から、推論7: "そのヒ具は自重しないがどきどきする"が導かれる
9. 推論7と事実3から、推論8: "この書は錆無くない"が導かれる
10. 推論8と事実7から、仮説が否定される

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