「もしあの運動性がキャッチングでないとすればあの虎尾説はべた付き易いということはないかもしくはそれは冷飲しないかあるいは両方ともだ」ということは成り立たない
fact1: 仮に「「感染し易いし輸入ビジネスだ」ということは誤りな」物があるとするとあの虎尾説は冷飲するということはない fact2: とある物はキャッチングでないならば「感染し易いしその上輸入ビジネスである」ということは成り立たない
fact2 -> int1: 仮にあの運動性はキャッチングでないとすれば「それは感染し易いしそれに輸入ビジネスである」ということは誤っている; void -> assump1: 以下のように仮定する。「あの運動性はキャッチングであるということはない」ということは成り立つ; int1 & assump1 -> int2: 「あの運動性は感染し易いし更に輸入ビジネスである」ということは誤りだ; int2 -> int3: 「「「感染し易くてさらに輸入ビジネスだ」ということは成り立つ」ということは誤りな」ものはある; int3 & fact1 -> int4: あの虎尾説は冷飲しない; int4 -> int5: あの虎尾説はべた付き易くないか冷飲しない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮に「「感染し易いし輸入ビジネスだ」ということは誤りな」物があるとするとあの虎尾説は冷飲するということはない fact2: とある物はキャッチングでないならば「感染し易いしその上輸入ビジネスである」ということは成り立たない ; $hypothesis$ = 「もしあの運動性がキャッチングでないとすればあの虎尾説はべた付き易いということはないかもしくはそれは冷飲しないかあるいは両方ともだ」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮にあの運動性はキャッチングでないとすれば「それは感染し易いしそれに輸入ビジネスである」ということは誤っている; void -> assump1: 以下のように仮定する。「あの運動性はキャッチングであるということはない」ということは成り立つ; int1 & assump1 -> int2: 「あの運動性は感染し易いし更に輸入ビジネスである」ということは誤りだ; int2 -> int3: 「「「感染し易くてさらに輸入ビジネスだ」ということは成り立つ」ということは誤りな」ものはある; int3 & fact1 -> int4: あの虎尾説は冷飲しない; int4 -> int5: あの虎尾説はべた付き易くないか冷飲しない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 仮に「「感染し易いし輸入ビジネスだ」ということは誤りな」物があるとするとあの虎尾説は冷飲するということはない
事実2: とある物はキャッチングでないならば「感染し易いしその上輸入ビジネスである」ということは成り立たない

仮説: 「もしあの運動性がキャッチングでないとすればあの虎尾説はべた付き易いということはないかもしくはそれは冷飲しないかあるいは両方ともだ」ということは成り立たない
1. 事実2から、推論1: "仮にあの運動性はキャッチングでないとすれば「それは感染し易いしそれに輸入ビジネスである」ということは誤っている"が導かれる
2. 仮定1: 以下のように仮定する。「あの運動性はキャッチングであるということはない」ということは成り立つ
3. 推論1と仮定1から、推論2: "「あの運動性は感染し易いし更に輸入ビジネスである」ということは誤りだ"が導かれる
4. 推論2から、推論3: "「「「感染し易くてさらに輸入ビジネスだ」ということは成り立つ」ということは誤りな」ものはある"が導かれる
5. 推論3と事実1から、推論4: "あの虎尾説は冷飲しない"が導かれる
6. 推論4から、推論5: "あの虎尾説はべた付き易くないか冷飲しない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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