この耐寒力は説明し易い
fact1: もし仮にこの献血が年寄らないとするとその心理的要因は掛け過ぎる fact2: もしその心理的要因が出張すればそれは這い上るかあるいは年寄らないかまたは両方である fact3: 仮にこの耐寒力は御恥ずかしいし脈動するとしたら説明し易くない fact4: その心理的要因は出張する fact5: その心理的要因が這い上るとすればこの献血は掛け過ぎる fact6: その心理的要因が年寄らないならこの献血は掛け過ぎる fact7: この耐寒力は出張するしまたそれは月別購入数量だ fact8: この陸家嘴は迎え打つ fact9: もし「掛け過ぎるし更に迎え打つ」ものがあるならばあの耐寒力はドリブルする fact10: もしもこの耐寒力はドリブルするとすると「それは御恥ずかしい」ということは本当だ fact11: この耐寒力は月別購入数量でかつ脈動する fact12: この献血は迎え打つ
fact2 & fact4 -> int1: その心理的要因は這い上るか年寄らないかまたはどちらもだ; int1 & fact5 & fact6 -> int2: 「この献血は掛け過ぎる」ということは事実だ; int2 & fact12 -> int3: この献血は掛け過ぎるしそれは迎え打つ; int3 -> int4: あるものは掛け過ぎるしかつ迎え打つ; int4 & fact9 -> int5: この耐寒力はドリブルする; int5 & fact10 -> int6: この耐寒力は御恥ずかしい; fact11 -> int7: この耐寒力は脈動する; int6 & int7 -> int8: この耐寒力は御恥ずかしいし脈動する; int8 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にこの献血が年寄らないとするとその心理的要因は掛け過ぎる fact2: もしその心理的要因が出張すればそれは這い上るかあるいは年寄らないかまたは両方である fact3: 仮にこの耐寒力は御恥ずかしいし脈動するとしたら説明し易くない fact4: その心理的要因は出張する fact5: その心理的要因が這い上るとすればこの献血は掛け過ぎる fact6: その心理的要因が年寄らないならこの献血は掛け過ぎる fact7: この耐寒力は出張するしまたそれは月別購入数量だ fact8: この陸家嘴は迎え打つ fact9: もし「掛け過ぎるし更に迎え打つ」ものがあるならばあの耐寒力はドリブルする fact10: もしもこの耐寒力はドリブルするとすると「それは御恥ずかしい」ということは本当だ fact11: この耐寒力は月別購入数量でかつ脈動する fact12: この献血は迎え打つ ; $hypothesis$ = この耐寒力は説明し易い ; $proof$ = 
fact2 & fact4 -> int1: その心理的要因は這い上るか年寄らないかまたはどちらもだ; int1 & fact5 & fact6 -> int2: 「この献血は掛け過ぎる」ということは事実だ; int2 & fact12 -> int3: この献血は掛け過ぎるしそれは迎え打つ; int3 -> int4: あるものは掛け過ぎるしかつ迎え打つ; int4 & fact9 -> int5: この耐寒力はドリブルする; int5 & fact10 -> int6: この耐寒力は御恥ずかしい; fact11 -> int7: この耐寒力は脈動する; int6 & int7 -> int8: この耐寒力は御恥ずかしいし脈動する; int8 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの献血が年寄らないとするとその心理的要因は掛け過ぎる
事実2: もしその心理的要因が出張すればそれは這い上るかあるいは年寄らないかまたは両方である
事実3: 仮にこの耐寒力は御恥ずかしいし脈動するとしたら説明し易くない
事実4: その心理的要因は出張する
事実5: その心理的要因が這い上るとすればこの献血は掛け過ぎる
事実6: その心理的要因が年寄らないならこの献血は掛け過ぎる
事実7: この耐寒力は出張するしまたそれは月別購入数量だ
事実8: この陸家嘴は迎え打つ
事実9: もし「掛け過ぎるし更に迎え打つ」ものがあるならばあの耐寒力はドリブルする
事実10: もしもこの耐寒力はドリブルするとすると「それは御恥ずかしい」ということは本当だ
事実11: この耐寒力は月別購入数量でかつ脈動する
事実12: この献血は迎え打つ

仮説: この耐寒力は説明し易い
1. 事実2と事実4から、推論1: "その心理的要因は這い上るか年寄らないかまたはどちらもだ"が導かれる
2. 推論1と事実5と事実6から、推論2: "「この献血は掛け過ぎる」ということは事実だ"が導かれる
3. 推論2と事実12から、推論3: "この献血は掛け過ぎるしそれは迎え打つ"が導かれる
4. 推論3から、推論4: "あるものは掛け過ぎるしかつ迎え打つ"が導かれる
5. 推論4と事実9から、推論5: "この耐寒力はドリブルする"が導かれる
6. 推論5と事実10から、推論6: "この耐寒力は御恥ずかしい"が導かれる
7. 事実11から、推論7: "この耐寒力は脈動する"が導かれる
8. 推論6と推論7から、推論8: "この耐寒力は御恥ずかしいし脈動する"が導かれる
9. 推論8と事実3から、仮説が否定される

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