「その白色人種は尊敬しないが発芽する」ということは間違っている
fact1: もしもその白色人種が歩き去るならこそばゆい fact2: もしもその雪花は密猟船ならば「それは説明し易いけれど詮無くない」ということは間違っている fact3: もしもなにがしかのものが見守らないとするとそれは尊敬しないし加えて課税する fact4: 仮にその白色人種がこそばゆいとすればそれは覚え易くてかつ見守らない fact5: その雪花は表現するし密猟船だ fact6: その雪花は課税する fact7: この御手数は課税する fact8: その雪花は課税するとしたら「その白色人種は尊敬しないけどそれは発芽する」ということは事実と異なる fact9: その白色人種は歩き去る
fact8 & fact6 -> hypothesis;
fact8 & fact6 -> hypothesis;
その白色人種は尊敬しないがしかし発芽する
fact11 -> int1: その白色人種が見守らないなら尊敬しなくてまた課税する; fact10 & fact14 -> int2: 「その白色人種はこそばゆい」ということは正しい; fact15 & int2 -> int3: その白色人種は覚え易い一方でそれは見守らない; int3 -> int4: その白色人種は見守らない; int1 & int4 -> int5: その白色人種は尊敬しない一方で課税する; int5 -> int6: その白色人種は尊敬するということはない; fact13 -> int7: その雪花は密猟船だ; fact12 & int7 -> int8: 「その雪花は説明し易い一方で詮無くない」ということは誤っている; int8 -> int9: 「「説明し易いけれど詮無くない」ということは成り立つということはない」物はある;
$facts$ = fact1: もしもその白色人種が歩き去るならこそばゆい fact2: もしもその雪花は密猟船ならば「それは説明し易いけれど詮無くない」ということは間違っている fact3: もしもなにがしかのものが見守らないとするとそれは尊敬しないし加えて課税する fact4: 仮にその白色人種がこそばゆいとすればそれは覚え易くてかつ見守らない fact5: その雪花は表現するし密猟船だ fact6: その雪花は課税する fact7: この御手数は課税する fact8: その雪花は課税するとしたら「その白色人種は尊敬しないけどそれは発芽する」ということは事実と異なる fact9: その白色人種は歩き去る ; $hypothesis$ = 「その白色人種は尊敬しないが発芽する」ということは間違っている ; $proof$ = 
fact8 & fact6 -> hypothesis; __PROVED__
事実1: もしもその白色人種が歩き去るならこそばゆい
事実2: もしもその雪花は密猟船ならば「それは説明し易いけれど詮無くない」ということは間違っている
事実3: もしもなにがしかのものが見守らないとするとそれは尊敬しないし加えて課税する
事実4: 仮にその白色人種がこそばゆいとすればそれは覚え易くてかつ見守らない
事実5: その雪花は表現するし密猟船だ
事実6: その雪花は課税する
事実7: この御手数は課税する
事実8: その雪花は課税するとしたら「その白色人種は尊敬しないけどそれは発芽する」ということは事実と異なる
事実9: その白色人種は歩き去る

仮説: 「その白色人種は尊敬しないが発芽する」ということは間違っている
1. 事実8と事実6から、仮説が導かれる

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