その防火服は一号住居跡でない
fact1: もし仮にあるものは戦慄しないけど旅行エージェントならそれは一号住居跡であるということはない fact2: 仮にこの一分銀は金具でないとすれば「その防火服は撒き続けなくてそれは沈殿しない」ということは成り立たない fact3: その防火服は舌打ちしない fact4: もしも「その実行額は金具でないかもしくは伸び易くないかまたは両方である」ということは本当でないとするとその防火服は伸び易くない fact5: もしその防火服が特化するが伸び易くないとするとこの一分銀は戦慄しない fact6: もしもなんらかのものはＭＩＤＩインターフェースなら「それは金具でないかまたは伸び易いということはないかもしくはどちらもだ」ということは事実と異なる fact7: その防火服は注意深い fact8: 「なにかは讒言しない一方でそれはＭＩＤＩインターフェースである」ということは成り立つということはないとしたら金具でない fact9: その防火服が舌打ちしないならショッピング・センターでないし戦慄するということはない fact10: もし「なにがしかの物は撒き続けないしその上沈殿しない」ということは成り立たないなら特化しない fact11: もし仮に「その実行額はいじましい」ということは偽でないなら「「この一分銀は讒言しないけどＭＩＤＩインターフェースだ」ということは成り立たない」ということは真実である fact12: この一分銀は旅行エージェントだ fact13: もし何かは特化しないとしたらそれは旅行エージェントで加えてそれは伸び易い fact14: この一分銀は旅行エージェントであるしそれに戦慄する fact15: あの古伝は戦慄するしまた羨む fact16: ショッピング・センターは特化する fact17: もし仮にその実行額は讒言すれば「ＭＩＤＩインターフェースだ」ということは真実である fact18: 「戦慄しない」ものがあるとすればあの年以前は一号住居跡であるしさらに旅行エージェントである fact19: もしもその防火服が旅行エージェントであるとするとこの一分銀は戦慄する fact20: この一分銀が戦慄すればその防火服は一号住居跡だ fact21: この一分銀は小大名だ fact22: 全てのものは撒き続けなくてそれは沈殿しない
fact14 -> int1: この一分銀は戦慄する; int1 & fact20 -> hypothesis;
fact14 -> int1: {B}{a}; int1 & fact20 -> hypothesis;
その防火服は一号住居跡だということはない
fact25 -> int2: もしもその防火服が戦慄しないがしかし旅行エージェントであるならばそれは一号住居跡でない; fact23 & fact30 -> int3: その防火服はショッピング・センターであるということはなくて戦慄しない; int3 -> int4: その防火服は戦慄しない; fact24 -> int5: もし仮にその防火服が特化しないなら旅行エージェントであるし加えて伸び易い; fact26 -> int6: もし「その防火服は撒き続けなくてそれは沈殿するということはない」ということは成り立たないとするとそれは特化しない; fact29 -> int7: もしも「この一分銀は讒言しないがそれはＭＩＤＩインターフェースだ」ということは成り立たないなら金具でない;
$facts$ = fact1: もし仮にあるものは戦慄しないけど旅行エージェントならそれは一号住居跡であるということはない fact2: 仮にこの一分銀は金具でないとすれば「その防火服は撒き続けなくてそれは沈殿しない」ということは成り立たない fact3: その防火服は舌打ちしない fact4: もしも「その実行額は金具でないかもしくは伸び易くないかまたは両方である」ということは本当でないとするとその防火服は伸び易くない fact5: もしその防火服が特化するが伸び易くないとするとこの一分銀は戦慄しない fact6: もしもなんらかのものはＭＩＤＩインターフェースなら「それは金具でないかまたは伸び易いということはないかもしくはどちらもだ」ということは事実と異なる fact7: その防火服は注意深い fact8: 「なにかは讒言しない一方でそれはＭＩＤＩインターフェースである」ということは成り立つということはないとしたら金具でない fact9: その防火服が舌打ちしないならショッピング・センターでないし戦慄するということはない fact10: もし「なにがしかの物は撒き続けないしその上沈殿しない」ということは成り立たないなら特化しない fact11: もし仮に「その実行額はいじましい」ということは偽でないなら「「この一分銀は讒言しないけどＭＩＤＩインターフェースだ」ということは成り立たない」ということは真実である fact12: この一分銀は旅行エージェントだ fact13: もし何かは特化しないとしたらそれは旅行エージェントで加えてそれは伸び易い fact14: この一分銀は旅行エージェントであるしそれに戦慄する fact15: あの古伝は戦慄するしまた羨む fact16: ショッピング・センターは特化する fact17: もし仮にその実行額は讒言すれば「ＭＩＤＩインターフェースだ」ということは真実である fact18: 「戦慄しない」ものがあるとすればあの年以前は一号住居跡であるしさらに旅行エージェントである fact19: もしもその防火服が旅行エージェントであるとするとこの一分銀は戦慄する fact20: この一分銀が戦慄すればその防火服は一号住居跡だ fact21: この一分銀は小大名だ fact22: 全てのものは撒き続けなくてそれは沈殿しない ; $hypothesis$ = その防火服は一号住居跡でない ; $proof$ = 
fact14 -> int1: この一分銀は戦慄する; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものは戦慄しないけど旅行エージェントならそれは一号住居跡であるということはない
事実2: 仮にこの一分銀は金具でないとすれば「その防火服は撒き続けなくてそれは沈殿しない」ということは成り立たない
事実3: その防火服は舌打ちしない
事実4: もしも「その実行額は金具でないかもしくは伸び易くないかまたは両方である」ということは本当でないとするとその防火服は伸び易くない
事実5: もしその防火服が特化するが伸び易くないとするとこの一分銀は戦慄しない
事実6: もしもなんらかのものはＭＩＤＩインターフェースなら「それは金具でないかまたは伸び易いということはないかもしくはどちらもだ」ということは事実と異なる
事実7: その防火服は注意深い
事実8: 「なにかは讒言しない一方でそれはＭＩＤＩインターフェースである」ということは成り立つということはないとしたら金具でない
事実9: その防火服が舌打ちしないならショッピング・センターでないし戦慄するということはない
事実10: もし「なにがしかの物は撒き続けないしその上沈殿しない」ということは成り立たないなら特化しない
事実11: もし仮に「その実行額はいじましい」ということは偽でないなら「「この一分銀は讒言しないけどＭＩＤＩインターフェースだ」ということは成り立たない」ということは真実である
事実12: この一分銀は旅行エージェントだ
事実13: もし何かは特化しないとしたらそれは旅行エージェントで加えてそれは伸び易い
事実14: この一分銀は旅行エージェントであるしそれに戦慄する
事実15: あの古伝は戦慄するしまた羨む
事実16: ショッピング・センターは特化する
事実17: もし仮にその実行額は讒言すれば「ＭＩＤＩインターフェースだ」ということは真実である
事実18: 「戦慄しない」ものがあるとすればあの年以前は一号住居跡であるしさらに旅行エージェントである
事実19: もしもその防火服が旅行エージェントであるとするとこの一分銀は戦慄する
事実20: この一分銀が戦慄すればその防火服は一号住居跡だ
事実21: この一分銀は小大名だ
事実22: 全てのものは撒き続けなくてそれは沈殿しない

仮説: その防火服は一号住居跡でない
1. 事実14から、推論1: "この一分銀は戦慄する"が導かれる
2. 推論1と事実20から、仮説が否定される

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