あの回折線はぶん投げない
fact1: この十パーセント以下は言い易いかあるいはぶん投げる fact2: 仮にあの比較対象が分かり易いということはないとしたらあの回折線はぶん投げるかもしくは追っ掛ける fact3: もしもあの比較対象がプロセッサでないし聞き覚えないならばあの回折線はプロセッサであるということはない fact4: あの和服は追っ掛けない fact5: 「とあるものはプロセッサでない」ということは確かだとすると追っ掛けないかまたはそれは服用しないかまたは両方ともだ fact6: 馬鹿らしくないものはプロセッサだということはなくて聞き覚えるということはない fact7: もしもなにがしかの物が追っ掛けないならばぶん投げるかまたは飲み易くないかもしくは両方である fact8: あの回折線は分かり易い fact9: あの比較対象は追っ掛けない fact10: この十パーセント以下は言い易いかもしくは分かり易くないかもしくはどちらもであるとしたら「あの回折線はぶん投げる」ということは成り立つ fact11: 仮にあの回折線が分かり易くないとすればこの十パーセント以下は言い易いかもしくはぶん投げない fact12: あの比較対象が追っ掛けないならこの十パーセント以下は言い易いかまたは分かり易くない fact13: あの比較対象がぶん投げるかあるいはそれが追っ掛けないかどちらもならばあの回折線は言い易い
fact12 & fact9 -> int1: この十パーセント以下は言い易いか分かり易くないかまたは両方だ; int1 & fact10 -> hypothesis;
あの滝口はぶん投げるか飲み易くないかどちらもだ
fact14 -> int2: もし仮にあの滝口が追っ掛けないとすればそれはぶん投げるかもしくは飲み易くない;
$facts$ = fact1: この十パーセント以下は言い易いかあるいはぶん投げる fact2: 仮にあの比較対象が分かり易いということはないとしたらあの回折線はぶん投げるかもしくは追っ掛ける fact3: もしもあの比較対象がプロセッサでないし聞き覚えないならばあの回折線はプロセッサであるということはない fact4: あの和服は追っ掛けない fact5: 「とあるものはプロセッサでない」ということは確かだとすると追っ掛けないかまたはそれは服用しないかまたは両方ともだ fact6: 馬鹿らしくないものはプロセッサだということはなくて聞き覚えるということはない fact7: もしもなにがしかの物が追っ掛けないならばぶん投げるかまたは飲み易くないかもしくは両方である fact8: あの回折線は分かり易い fact9: あの比較対象は追っ掛けない fact10: この十パーセント以下は言い易いかもしくは分かり易くないかもしくはどちらもであるとしたら「あの回折線はぶん投げる」ということは成り立つ fact11: 仮にあの回折線が分かり易くないとすればこの十パーセント以下は言い易いかもしくはぶん投げない fact12: あの比較対象が追っ掛けないならこの十パーセント以下は言い易いかまたは分かり易くない fact13: あの比較対象がぶん投げるかあるいはそれが追っ掛けないかどちらもならばあの回折線は言い易い ; $hypothesis$ = あの回折線はぶん投げない ; $proof$ = 
fact12 & fact9 -> int1: この十パーセント以下は言い易いか分かり易くないかまたは両方だ; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: この十パーセント以下は言い易いかあるいはぶん投げる
事実2: 仮にあの比較対象が分かり易いということはないとしたらあの回折線はぶん投げるかもしくは追っ掛ける
事実3: もしもあの比較対象がプロセッサでないし聞き覚えないならばあの回折線はプロセッサであるということはない
事実4: あの和服は追っ掛けない
事実5: 「とあるものはプロセッサでない」ということは確かだとすると追っ掛けないかまたはそれは服用しないかまたは両方ともだ
事実6: 馬鹿らしくないものはプロセッサだということはなくて聞き覚えるということはない
事実7: もしもなにがしかの物が追っ掛けないならばぶん投げるかまたは飲み易くないかもしくは両方である
事実8: あの回折線は分かり易い
事実9: あの比較対象は追っ掛けない
事実10: この十パーセント以下は言い易いかもしくは分かり易くないかもしくはどちらもであるとしたら「あの回折線はぶん投げる」ということは成り立つ
事実11: 仮にあの回折線が分かり易くないとすればこの十パーセント以下は言い易いかもしくはぶん投げない
事実12: あの比較対象が追っ掛けないならこの十パーセント以下は言い易いかまたは分かり易くない
事実13: あの比較対象がぶん投げるかあるいはそれが追っ掛けないかどちらもならばあの回折線は言い易い

仮説: あの回折線はぶん投げない
1. 事実12と事実9から、推論1: "この十パーセント以下は言い易いか分かり易くないかまたは両方だ"が導かれる
2. 推論1と事実10から、仮説が否定される

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