「この両足は主立つ」ということは確かである
fact1: 想像し易い物は主立つ fact2: とある物は主立つかまたは想像し易いかあるいはどちらもだ fact3: この水溶き片栗粉は組合運動だ fact4: もしも何らかのものが想像し易いかまたは組合運動であるかあるいは両方であるとすればあの両足は主立たない fact5: なにがしかのものは組合運動であるかもしくは主立つかまたはどちらもだ fact6: もし何らかのものが想像し易いならばあの両足は主立つということはない
fact3 -> int1: この水溶き片栗粉は想像し易いか組合運動だ; int1 -> int2: なにかは想像し易いかもしくは組合運動であるかもしくは両方である; int2 & fact4 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact4 -> hypothesis;
この両足は主立つ
fact7 -> int3: もしこの両足が想像し易いとしたらそれは主立つ;
$facts$ = fact1: 想像し易い物は主立つ fact2: とある物は主立つかまたは想像し易いかあるいはどちらもだ fact3: この水溶き片栗粉は組合運動だ fact4: もしも何らかのものが想像し易いかまたは組合運動であるかあるいは両方であるとすればあの両足は主立たない fact5: なにがしかのものは組合運動であるかもしくは主立つかまたはどちらもだ fact6: もし何らかのものが想像し易いならばあの両足は主立つということはない ; $hypothesis$ = 「この両足は主立つ」ということは確かである ; $proof$ = 
fact3 -> int1: この水溶き片栗粉は想像し易いか組合運動だ; int1 -> int2: なにかは想像し易いかもしくは組合運動であるかもしくは両方である; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 想像し易い物は主立つ
事実2: とある物は主立つかまたは想像し易いかあるいはどちらもだ
事実3: この水溶き片栗粉は組合運動だ
事実4: もしも何らかのものが想像し易いかまたは組合運動であるかあるいは両方であるとすればあの両足は主立たない
事実5: なにがしかのものは組合運動であるかもしくは主立つかまたはどちらもだ
事実6: もし何らかのものが想像し易いならばあの両足は主立つということはない

仮説: 「この両足は主立つ」ということは確かである
1. 事実3から、推論1: "この水溶き片栗粉は想像し易いか組合運動だ"が導かれる
2. 推論1から、推論2: "なにかは想像し易いかもしくは組合運動であるかもしくは両方である"が導かれる
3. 推論2と事実4から、仮説が否定される

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