「「「「御許し頂けるしさらに出入りし易い」ということは正しくないとすればたわいなくない」ものはある」ということは正しい」ということは成り立たない
fact1: 「仮に出入りし易くないなら「たわいなくない」ということは真実である」物はある fact2: 仮にこの生産国は御許し頂けるし加えて出入りし易いとするとたわいないということはない fact3: 仮に「あの直列はたわいなくない」ということは成り立つとするとそれは汚点でない fact4: もし「何らかの物は感慨深くて加えて擦り寄る」ということは事実と異なるとすると「複雑過ぎない」ということは確かである fact5: 「御許し頂けないとしたらたわいなくない」ものはある fact6: 仮にこの生産国は出入りし易くないとするとたわいなくない fact7: 仮に「この生産国は御許し頂けるしかつ出入りし易い」ということは成り立たないならば「たわいなくない」ということは成り立つ fact8: 「「御許し頂けるしおまけに出入りし易い」ということは確かでないならたわいない」ものはある fact9: 「もし「敗戦するししかも色鉛筆である」ということは成り立たないならディアーな」物はある fact10: もし「この生産国は御許し頂けるし出入りし易い」ということは間違っているとすればそれはたわいない
fact7 -> hypothesis;
「もし「感慨深いしその上擦り寄る」ということは間違いであるとすると複雑過ぎない」ものはある
fact11 -> int1: もしも「この大型トラックは感慨深いし擦り寄る」ということは事実と異なるとすれば複雑過ぎるということはない; int1 -> hypothesis;
$facts$ = fact1: 「仮に出入りし易くないなら「たわいなくない」ということは真実である」物はある fact2: 仮にこの生産国は御許し頂けるし加えて出入りし易いとするとたわいないということはない fact3: 仮に「あの直列はたわいなくない」ということは成り立つとするとそれは汚点でない fact4: もし「何らかの物は感慨深くて加えて擦り寄る」ということは事実と異なるとすると「複雑過ぎない」ということは確かである fact5: 「御許し頂けないとしたらたわいなくない」ものはある fact6: 仮にこの生産国は出入りし易くないとするとたわいなくない fact7: 仮に「この生産国は御許し頂けるしかつ出入りし易い」ということは成り立たないならば「たわいなくない」ということは成り立つ fact8: 「「御許し頂けるしおまけに出入りし易い」ということは確かでないならたわいない」ものはある fact9: 「もし「敗戦するししかも色鉛筆である」ということは成り立たないならディアーな」物はある fact10: もし「この生産国は御許し頂けるし出入りし易い」ということは間違っているとすればそれはたわいない ; $hypothesis$ = 「「「「御許し頂けるしさらに出入りし易い」ということは正しくないとすればたわいなくない」ものはある」ということは正しい」ということは成り立たない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「仮に出入りし易くないなら「たわいなくない」ということは真実である」物はある
事実2: 仮にこの生産国は御許し頂けるし加えて出入りし易いとするとたわいないということはない
事実3: 仮に「あの直列はたわいなくない」ということは成り立つとするとそれは汚点でない
事実4: もし「何らかの物は感慨深くて加えて擦り寄る」ということは事実と異なるとすると「複雑過ぎない」ということは確かである
事実5: 「御許し頂けないとしたらたわいなくない」ものはある
事実6: 仮にこの生産国は出入りし易くないとするとたわいなくない
事実7: 仮に「この生産国は御許し頂けるしかつ出入りし易い」ということは成り立たないならば「たわいなくない」ということは成り立つ
事実8: 「「御許し頂けるしおまけに出入りし易い」ということは確かでないならたわいない」ものはある
事実9: 「もし「敗戦するししかも色鉛筆である」ということは成り立たないならディアーな」物はある
事実10: もし「この生産国は御許し頂けるし出入りし易い」ということは間違っているとすればそれはたわいない

仮説: 「「「「御許し頂けるしさらに出入りし易い」ということは正しくないとすればたわいなくない」ものはある」ということは正しい」ということは成り立たない
1. 事実7から、仮説が否定される

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