「その賛助人は興醒めするしかつ嗅ぎ回る」ということは誤りである
fact1: なんらかのものが教育出来るとすると扱い易い fact2: 「その線質は不脛でないがしかし略称・連続射殺魔である」ということは偽だ fact3: その開発・設計は広めるということはない fact4: 「そのたんびは嗅ぎ回るがしかし興醒めしない」ということは間違っているとするとその賛助人は御知らせする fact5: もし仮になんらかのものが広めるということはないけれどそれが打診するとしたら興醒めするということはない fact6: その性別欄は広めるということはない fact7: 仮にとあるものが打診すれば興醒めする fact8: 「そのたんびは御知らせする一方で昨晩であるということはない」ということは間違いだ fact9: もしも「そのたんびは御知らせするがしかしそれは昨晩でない」ということは事実でないとすればその賛助人は打診する fact10: もしも「広めない」ものがあるとするとその賛助人は嗅ぎ回る fact11: もしもその開発・設計が扱い易いならばあのたんびは広めないけどそれは打診する
fact9 & fact8 -> int1: その賛助人は打診する; fact7 -> int2: 仮にその賛助人は打診するとすると「興醒めする」ということは成り立つ; int1 & int2 -> int3: その賛助人は興醒めする; fact3 -> int4: 「広めるということはない」ものはある; fact10 & int4 -> int5: その賛助人は嗅ぎ回る; int3 & int5 -> hypothesis;
「その賛助人は興醒めするしまた嗅ぎ回る」ということは誤りである
fact14 -> int6: そのたんびは広めないけど打診するとすれば興醒めしない; fact13 -> int7: もしもその開発・設計が教育出来るとするとそれは扱い易い; fact15 -> int8: 「「不脛でないがしかし略称・連続射殺魔だ」ということは誤りな」ものはある;
$facts$ = fact1: なんらかのものが教育出来るとすると扱い易い fact2: 「その線質は不脛でないがしかし略称・連続射殺魔である」ということは偽だ fact3: その開発・設計は広めるということはない fact4: 「そのたんびは嗅ぎ回るがしかし興醒めしない」ということは間違っているとするとその賛助人は御知らせする fact5: もし仮になんらかのものが広めるということはないけれどそれが打診するとしたら興醒めするということはない fact6: その性別欄は広めるということはない fact7: 仮にとあるものが打診すれば興醒めする fact8: 「そのたんびは御知らせする一方で昨晩であるということはない」ということは間違いだ fact9: もしも「そのたんびは御知らせするがしかしそれは昨晩でない」ということは事実でないとすればその賛助人は打診する fact10: もしも「広めない」ものがあるとするとその賛助人は嗅ぎ回る fact11: もしもその開発・設計が扱い易いならばあのたんびは広めないけどそれは打診する ; $hypothesis$ = 「その賛助人は興醒めするしかつ嗅ぎ回る」ということは誤りである ; $proof$ = 
fact9 & fact8 -> int1: その賛助人は打診する; fact7 -> int2: 仮にその賛助人は打診するとすると「興醒めする」ということは成り立つ; int1 & int2 -> int3: その賛助人は興醒めする; fact3 -> int4: 「広めるということはない」ものはある; fact10 & int4 -> int5: その賛助人は嗅ぎ回る; int3 & int5 -> hypothesis; __DISPROVED__
事実1: なんらかのものが教育出来るとすると扱い易い
事実2: 「その線質は不脛でないがしかし略称・連続射殺魔である」ということは偽だ
事実3: その開発・設計は広めるということはない
事実4: 「そのたんびは嗅ぎ回るがしかし興醒めしない」ということは間違っているとするとその賛助人は御知らせする
事実5: もし仮になんらかのものが広めるということはないけれどそれが打診するとしたら興醒めするということはない
事実6: その性別欄は広めるということはない
事実7: 仮にとあるものが打診すれば興醒めする
事実8: 「そのたんびは御知らせする一方で昨晩であるということはない」ということは間違いだ
事実9: もしも「そのたんびは御知らせするがしかしそれは昨晩でない」ということは事実でないとすればその賛助人は打診する
事実10: もしも「広めない」ものがあるとするとその賛助人は嗅ぎ回る
事実11: もしもその開発・設計が扱い易いならばあのたんびは広めないけどそれは打診する

仮説: 「その賛助人は興醒めするしかつ嗅ぎ回る」ということは誤りである
1. 事実9と事実8から、推論1: "その賛助人は打診する"が導かれる
2. 事実7から、推論2: "仮にその賛助人は打診するとすると「興醒めする」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その賛助人は興醒めする"が導かれる
4. 事実3から、推論4: "「広めるということはない」ものはある"が導かれる
5. 事実10と推論4から、推論5: "その賛助人は嗅ぎ回る"が導かれる
6. 推論3と推論5から、仮説が否定される

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