「「仮に厳めしかないなら「知的レベルでないしその上聞けない」ということは事実と異なる」ものはある」ということは成り立たない
fact1: 「もしも「厳めしくらない」ということは誤っていないなら知的レベルでないし加えて聞けるということはない」ものはある fact2: もし仮にあのライン左岸地域が厳めしかないならば知的レベルでなくてそれは聞けない fact3: 「「もしも厳めしいとしたら「知的レベルでなくておまけに聞けるということはない」ということは成り立つということはない」物はある」ということは真実である fact4: もし仮にとあるものは厳めしいということはないとしたら「知的レベルだけれど聞けない」ということは嘘だ fact5: なにがしかのものは厳めしかないなら「知的レベルでないし更にそれは聞けるということはない」ということは間違っている fact6: もし「何かは厳めしくらない」ということは確かであるとすると「それは知的レベルでないがしかし聞ける」ということは成り立たない fact7: 「もし厳めしくらないとすると「知的レベルだがしかし聞けない」ということは間違いである」ものはある fact8: もしとある物は厳めしいとすると「知的レベルでないしそれは聞けるということはない」ということは偽である fact9: もし仮にあのライン左岸地域は厳めしかないなら「知的レベルだしそれにそれは聞けない」ということは事実と異なる fact10: もし仮にあのライン左岸地域は厳めしいなら「知的レベルでないしさらに聞けない」ということは偽である fact11: ある物が厳めしくらないとするとそれは知的レベルでなくて加えて聞けるということはない fact12: 仮にあのライン左岸地域は厳めしくらないとすれば「それは知的レベルでなくてかつそれは聞ける」ということは成り立たない fact13: 「厳めしくらないとしたら「知的レベルでない一方で聞ける」ということは間違いである」物はある
fact5 -> int1: 仮にあのライン左岸地域は厳めしくらないとすると「それは知的レベルでないしさらに聞けるということはない」ということは成り立つということはない; int1 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もしも「厳めしくらない」ということは誤っていないなら知的レベルでないし加えて聞けるということはない」ものはある fact2: もし仮にあのライン左岸地域が厳めしかないならば知的レベルでなくてそれは聞けない fact3: 「「もしも厳めしいとしたら「知的レベルでなくておまけに聞けるということはない」ということは成り立つということはない」物はある」ということは真実である fact4: もし仮にとあるものは厳めしいということはないとしたら「知的レベルだけれど聞けない」ということは嘘だ fact5: なにがしかのものは厳めしかないなら「知的レベルでないし更にそれは聞けるということはない」ということは間違っている fact6: もし「何かは厳めしくらない」ということは確かであるとすると「それは知的レベルでないがしかし聞ける」ということは成り立たない fact7: 「もし厳めしくらないとすると「知的レベルだがしかし聞けない」ということは間違いである」ものはある fact8: もしとある物は厳めしいとすると「知的レベルでないしそれは聞けるということはない」ということは偽である fact9: もし仮にあのライン左岸地域は厳めしかないなら「知的レベルだしそれにそれは聞けない」ということは事実と異なる fact10: もし仮にあのライン左岸地域は厳めしいなら「知的レベルでないしさらに聞けない」ということは偽である fact11: ある物が厳めしくらないとするとそれは知的レベルでなくて加えて聞けるということはない fact12: 仮にあのライン左岸地域は厳めしくらないとすれば「それは知的レベルでなくてかつそれは聞ける」ということは成り立たない fact13: 「厳めしくらないとしたら「知的レベルでない一方で聞ける」ということは間違いである」物はある ; $hypothesis$ = 「「仮に厳めしかないなら「知的レベルでないしその上聞けない」ということは事実と異なる」ものはある」ということは成り立たない ; $proof$ = 
fact5 -> int1: 仮にあのライン左岸地域は厳めしくらないとすると「それは知的レベルでないしさらに聞けるということはない」ということは成り立つということはない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「厳めしくらない」ということは誤っていないなら知的レベルでないし加えて聞けるということはない」ものはある
事実2: もし仮にあのライン左岸地域が厳めしかないならば知的レベルでなくてそれは聞けない
事実3: 「「もしも厳めしいとしたら「知的レベルでなくておまけに聞けるということはない」ということは成り立つということはない」物はある」ということは真実である
事実4: もし仮にとあるものは厳めしいということはないとしたら「知的レベルだけれど聞けない」ということは嘘だ
事実5: なにがしかのものは厳めしかないなら「知的レベルでないし更にそれは聞けるということはない」ということは間違っている
事実6: もし「何かは厳めしくらない」ということは確かであるとすると「それは知的レベルでないがしかし聞ける」ということは成り立たない
事実7: 「もし厳めしくらないとすると「知的レベルだがしかし聞けない」ということは間違いである」ものはある
事実8: もしとある物は厳めしいとすると「知的レベルでないしそれは聞けるということはない」ということは偽である
事実9: もし仮にあのライン左岸地域は厳めしかないなら「知的レベルだしそれにそれは聞けない」ということは事実と異なる
事実10: もし仮にあのライン左岸地域は厳めしいなら「知的レベルでないしさらに聞けない」ということは偽である
事実11: ある物が厳めしくらないとするとそれは知的レベルでなくて加えて聞けるということはない
事実12: 仮にあのライン左岸地域は厳めしくらないとすれば「それは知的レベルでなくてかつそれは聞ける」ということは成り立たない
事実13: 「厳めしくらないとしたら「知的レベルでない一方で聞ける」ということは間違いである」物はある

仮説: 「「仮に厳めしかないなら「知的レベルでないしその上聞けない」ということは事実と異なる」ものはある」ということは成り立たない
1. 事実5から、推論1: "仮にあのライン左岸地域は厳めしくらないとすると「それは知的レベルでないしさらに聞けるということはない」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が否定される

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