「そのロングパットは脱出するし引き攣れる」ということは間違いである
fact1: そのロングパットは脱出する fact2: もしなにかは脱出しないとすれば「引き攣れなくてしかもそれはアメリカっぽくない」ということは成り立たない fact3: 「そのロングパットは引き攣れる」ということは事実だ fact4: もし仮になんらかのものは移封しないかもしくはアメリカっぽいかまたは両方ともであるなら「アメリカっぽい」ということは真実である fact5: 「あのＸ行は引き攣れる」ということは事実だ fact6: もし何かは上げ難いならば「凱旋門賞でなくてその上それは移封しない」ということは成り立つということはない fact7: もし仮にとある物が飲用しないとすると上げ難いしその上凱旋門賞だ fact8: もし仮に「あるものは引き攣れなくてそれはアメリカっぽくない」ということは成り立たないなら引き攣れる fact9: もし仮にこの規模・能力が凱旋門賞だとすればこの社会的内向は移封するということはないかあるいはアメリカっぽいかまたは両方ともである fact10: あるものは飲用するが蓄積され易くない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
あの名指しは引き攣れる
fact14 -> int1: 「あの名指しは引き攣れないしさらにアメリカっぽくない」ということは成り立たないとすると「それは引き攣れる」ということは成り立つ; fact11 -> int2: もしもあの名指しは脱出しないとしたら「引き攣れないしかつアメリカっぽくない」ということは成り立たない; fact13 -> int3: 仮に「そのロングパットは上げ難い」ということは真実だとしたら「それは凱旋門賞でなくて移封するということはない」ということは間違いである;
$facts$ = fact1: そのロングパットは脱出する fact2: もしなにかは脱出しないとすれば「引き攣れなくてしかもそれはアメリカっぽくない」ということは成り立たない fact3: 「そのロングパットは引き攣れる」ということは事実だ fact4: もし仮になんらかのものは移封しないかもしくはアメリカっぽいかまたは両方ともであるなら「アメリカっぽい」ということは真実である fact5: 「あのＸ行は引き攣れる」ということは事実だ fact6: もし何かは上げ難いならば「凱旋門賞でなくてその上それは移封しない」ということは成り立つということはない fact7: もし仮にとある物が飲用しないとすると上げ難いしその上凱旋門賞だ fact8: もし仮に「あるものは引き攣れなくてそれはアメリカっぽくない」ということは成り立たないなら引き攣れる fact9: もし仮にこの規模・能力が凱旋門賞だとすればこの社会的内向は移封するということはないかあるいはアメリカっぽいかまたは両方ともである fact10: あるものは飲用するが蓄積され易くない ; $hypothesis$ = 「そのロングパットは脱出するし引き攣れる」ということは間違いである ; $proof$ = 
fact1 & fact3 -> hypothesis; __DISPROVED__
事実1: そのロングパットは脱出する
事実2: もしなにかは脱出しないとすれば「引き攣れなくてしかもそれはアメリカっぽくない」ということは成り立たない
事実3: 「そのロングパットは引き攣れる」ということは事実だ
事実4: もし仮になんらかのものは移封しないかもしくはアメリカっぽいかまたは両方ともであるなら「アメリカっぽい」ということは真実である
事実5: 「あのＸ行は引き攣れる」ということは事実だ
事実6: もし何かは上げ難いならば「凱旋門賞でなくてその上それは移封しない」ということは成り立つということはない
事実7: もし仮にとある物が飲用しないとすると上げ難いしその上凱旋門賞だ
事実8: もし仮に「あるものは引き攣れなくてそれはアメリカっぽくない」ということは成り立たないなら引き攣れる
事実9: もし仮にこの規模・能力が凱旋門賞だとすればこの社会的内向は移封するということはないかあるいはアメリカっぽいかまたは両方ともである
事実10: あるものは飲用するが蓄積され易くない

仮説: 「そのロングパットは脱出するし引き攣れる」ということは間違いである
1. 事実1と事実3から、仮説が否定される

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