「「もしも覚え始めるかあるいはぱさぱさするか両方ならば涼しかない」物はある」ということは成り立たない
fact1: もしなんらかのものが覚え始めるかあるいはぱさぱさするか両方ともであるとするとそれは涼しかない fact2: 仮になにかは覚え始めるかまたはそれはぱさぱさするかどちらもならそれは涼しい fact3: もしもなんらかの物が覚え始めればそれは涼しかない fact4: もしこの横風が覚え始めるとすれば涼しいということはない fact5: もし仮にこの横風は覚え始めるかまたはぱさぱさするとすると「それは涼しい」ということは成り立つ fact6: 「覚え始めるかまたはぱさぱさするとすれば「涼しい」ということは確かである」物はある
fact1 -> int1: もしもこの横風が覚え始めるかまたはそれがぱさぱさするとすれば涼しかない; int1 -> hypothesis;
$facts$ = fact1: もしなんらかのものが覚え始めるかあるいはぱさぱさするか両方ともであるとするとそれは涼しかない fact2: 仮になにかは覚え始めるかまたはそれはぱさぱさするかどちらもならそれは涼しい fact3: もしもなんらかの物が覚え始めればそれは涼しかない fact4: もしこの横風が覚え始めるとすれば涼しいということはない fact5: もし仮にこの横風は覚え始めるかまたはぱさぱさするとすると「それは涼しい」ということは成り立つ fact6: 「覚え始めるかまたはぱさぱさするとすれば「涼しい」ということは確かである」物はある ; $hypothesis$ = 「「もしも覚え始めるかあるいはぱさぱさするか両方ならば涼しかない」物はある」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしもこの横風が覚え始めるかまたはそれがぱさぱさするとすれば涼しかない; int1 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものが覚え始めるかあるいはぱさぱさするか両方ともであるとするとそれは涼しかない
事実2: 仮になにかは覚え始めるかまたはそれはぱさぱさするかどちらもならそれは涼しい
事実3: もしもなんらかの物が覚え始めればそれは涼しかない
事実4: もしこの横風が覚え始めるとすれば涼しいということはない
事実5: もし仮にこの横風は覚え始めるかまたはぱさぱさするとすると「それは涼しい」ということは成り立つ
事実6: 「覚え始めるかまたはぱさぱさするとすれば「涼しい」ということは確かである」物はある

仮説: 「「もしも覚え始めるかあるいはぱさぱさするか両方ならば涼しかない」物はある」ということは成り立たない
1. 事実1から、推論1: "もしもこの横風が覚え始めるかまたはそれがぱさぱさするとすれば涼しかない"が導かれる
2. 推論1から、仮説が否定される

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