このデータ型は実見する
fact1: もしも「憎々しくない」物があるとしたらこのデータ型は各番でないがそれは走査する fact2: 「憎々しくない」ものはある fact3: もし仮にあの札幌周辺が各番だとしたらこのデータ型は憎々しいということはない fact4: もしあの札幌周辺が各番だということはないとしたらこのデータ型は実見するし憎々しい fact5: 憎々しくない物は子供らしくない fact6: もしなにがしかの物は各番でないけれど走査するとしたら実見しない
fact2 & fact1 -> int1: このデータ型は各番でない一方で走査する; fact6 -> int2: このデータ型が各番でないが走査するとしたらそれは実見しない; int1 & int2 -> hypothesis;
このデータ型は実見する
$facts$ = fact1: もしも「憎々しくない」物があるとしたらこのデータ型は各番でないがそれは走査する fact2: 「憎々しくない」ものはある fact3: もし仮にあの札幌周辺が各番だとしたらこのデータ型は憎々しいということはない fact4: もしあの札幌周辺が各番だということはないとしたらこのデータ型は実見するし憎々しい fact5: 憎々しくない物は子供らしくない fact6: もしなにがしかの物は各番でないけれど走査するとしたら実見しない ; $hypothesis$ = このデータ型は実見する ; $proof$ = 
fact2 & fact1 -> int1: このデータ型は各番でない一方で走査する; fact6 -> int2: このデータ型が各番でないが走査するとしたらそれは実見しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「憎々しくない」物があるとしたらこのデータ型は各番でないがそれは走査する
事実2: 「憎々しくない」ものはある
事実3: もし仮にあの札幌周辺が各番だとしたらこのデータ型は憎々しいということはない
事実4: もしあの札幌周辺が各番だということはないとしたらこのデータ型は実見するし憎々しい
事実5: 憎々しくない物は子供らしくない
事実6: もしなにがしかの物は各番でないけれど走査するとしたら実見しない

仮説: このデータ型は実見する
1. 事実2と事実1から、推論1: "このデータ型は各番でない一方で走査する"が導かれる
2. 事実6から、推論2: "このデータ型が各番でないが走査するとしたらそれは実見しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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