その公園内は赤っぽい
fact1: もし仮にこのＳＡＢは見窄らしくないとすれば「その公園内は赤っぽい」ということは成り立つ fact2: もし仮にこのＳＡＢは常人離れしないけど出来易いとすればそれは見窄らしくない fact3: 仮にあるものが赤っぽくないならそれは測れなくて篩い入れる fact4: はっとするしかつきょとんとするという物はない fact5: なにがしかの物がベースでないとするとそれは赤っぽくないし加えてそれは見窄らしくない fact6: このＳＡＢは常人離れしないがしかし出来易い
fact2 & fact6 -> int1: このＳＡＢは見窄らしくない; int1 & fact1 -> hypothesis;
その公園内は測れないけど篩い入れる
fact8 -> int2: もしもその公園内が赤っぽいということはないとすればそれは測れなくてそれは篩い入れる; fact9 -> int3: もしもその公園内がベースでないとすれば赤っぽくないし更に見窄らしくない; fact7 -> int4: 「このＳＡＢははっとするしおまけにきょとんとする」ということは成り立たない; int4 -> int5: 「「はっとするししかもきょとんとする」ということは間違っている」ものはある;
$facts$ = fact1: もし仮にこのＳＡＢは見窄らしくないとすれば「その公園内は赤っぽい」ということは成り立つ fact2: もし仮にこのＳＡＢは常人離れしないけど出来易いとすればそれは見窄らしくない fact3: 仮にあるものが赤っぽくないならそれは測れなくて篩い入れる fact4: はっとするしかつきょとんとするという物はない fact5: なにがしかの物がベースでないとするとそれは赤っぽくないし加えてそれは見窄らしくない fact6: このＳＡＢは常人離れしないがしかし出来易い ; $hypothesis$ = その公園内は赤っぽい ; $proof$ = 
fact2 & fact6 -> int1: このＳＡＢは見窄らしくない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこのＳＡＢは見窄らしくないとすれば「その公園内は赤っぽい」ということは成り立つ
事実2: もし仮にこのＳＡＢは常人離れしないけど出来易いとすればそれは見窄らしくない
事実3: 仮にあるものが赤っぽくないならそれは測れなくて篩い入れる
事実4: はっとするしかつきょとんとするという物はない
事実5: なにがしかの物がベースでないとするとそれは赤っぽくないし加えてそれは見窄らしくない
事実6: このＳＡＢは常人離れしないがしかし出来易い

仮説: その公園内は赤っぽい
1. 事実2と事実6から、推論1: "このＳＡＢは見窄らしくない"が導かれる
2. 推論1と事実1から、仮説が導かれる

よって、仮説が証明されました。