「その絨毯敷は縫い物であるということはない」ということは本当だ
fact1: 「このニッチ市場は御顔しないし取り除かない」ということは偽である fact2: 「その小屋掛けは飛び火するということはないがしかし目立ち過ぎる」ということは成り立たない fact3: もし仮にその小屋掛けが縫い物であるが走り易くないならばその絨毯敷は縫い物だということはない fact4: この三百成分振幅はなぞらない fact5: 「その小屋掛けは飛び火しないしさらに目立ち過ぎない」ということは誤っている fact6: もし仮にこの三百成分振幅がなぞるということはないとしたらこの丸餅は染み込み易いかあるいは取り除くかもしくはどちらもだ fact7: もし仮に「その小屋掛けは飛び火するということはなくて目立ち過ぎない」ということは嘘であるとすればあの絨毯敷は縫い物である fact8: 仮に「「その絨毯敷は縫い物でなくておまけに目立ち過ぎない」ということは嘘である」ということは成り立つとすればその小屋掛けは飛び火する fact9: 染み込み易くないものは縫い物である fact10: もし仮にその小屋掛けが目立ち過ぎるとするとその絨毯敷は縫い物である
fact7 & fact5 -> hypothesis;
fact7 & fact5 -> hypothesis;
「その絨毯敷は縫い物でない」ということは成り立つ
fact12 -> int1: 仮に「その小屋掛けは染み込み易い」ということは間違いだとすればそれは縫い物である; fact13 & fact11 -> int2: この丸餅は染み込み易いかもしくは取り除くかあるいはどちらもである;
$facts$ = fact1: 「このニッチ市場は御顔しないし取り除かない」ということは偽である fact2: 「その小屋掛けは飛び火するということはないがしかし目立ち過ぎる」ということは成り立たない fact3: もし仮にその小屋掛けが縫い物であるが走り易くないならばその絨毯敷は縫い物だということはない fact4: この三百成分振幅はなぞらない fact5: 「その小屋掛けは飛び火しないしさらに目立ち過ぎない」ということは誤っている fact6: もし仮にこの三百成分振幅がなぞるということはないとしたらこの丸餅は染み込み易いかあるいは取り除くかもしくはどちらもだ fact7: もし仮に「その小屋掛けは飛び火するということはなくて目立ち過ぎない」ということは嘘であるとすればあの絨毯敷は縫い物である fact8: 仮に「「その絨毯敷は縫い物でなくておまけに目立ち過ぎない」ということは嘘である」ということは成り立つとすればその小屋掛けは飛び火する fact9: 染み込み易くないものは縫い物である fact10: もし仮にその小屋掛けが目立ち過ぎるとするとその絨毯敷は縫い物である ; $hypothesis$ = 「その絨毯敷は縫い物であるということはない」ということは本当だ ; $proof$ = 
fact7 & fact5 -> hypothesis; __DISPROVED__
事実1: 「このニッチ市場は御顔しないし取り除かない」ということは偽である
事実2: 「その小屋掛けは飛び火するということはないがしかし目立ち過ぎる」ということは成り立たない
事実3: もし仮にその小屋掛けが縫い物であるが走り易くないならばその絨毯敷は縫い物だということはない
事実4: この三百成分振幅はなぞらない
事実5: 「その小屋掛けは飛び火しないしさらに目立ち過ぎない」ということは誤っている
事実6: もし仮にこの三百成分振幅がなぞるということはないとしたらこの丸餅は染み込み易いかあるいは取り除くかもしくはどちらもだ
事実7: もし仮に「その小屋掛けは飛び火するということはなくて目立ち過ぎない」ということは嘘であるとすればあの絨毯敷は縫い物である
事実8: 仮に「「その絨毯敷は縫い物でなくておまけに目立ち過ぎない」ということは嘘である」ということは成り立つとすればその小屋掛けは飛び火する
事実9: 染み込み易くないものは縫い物である
事実10: もし仮にその小屋掛けが目立ち過ぎるとするとその絨毯敷は縫い物である

仮説: 「その絨毯敷は縫い物であるということはない」ということは本当だ
1. 事実7と事実5から、仮説が否定される

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