「「その前婚は低しない一方で要諦である」ということは本当である」ということは間違いだ
fact1: その前婚は要諦でないなら「この処分性は低しないがしかし要諦だ」ということは本当だ fact2: もしもその前婚が低しないとするとこの処分性は要諦でないけどそれは低し fact3: あのダンベルは収入減だということはないが伍する fact4: 「なにがしかのものは要諦でないし更に低しない」ということは成り立たないならば事前承認しない fact5: あの電器店は捩じ込むけどだまテンでない fact6: 「なんらかのものは遊だということはないししかも事前承認しない」ということは誤りだとしたらそれは要諦でない fact7: 仮になんらかの物が事前承認するとすれば要諦でない fact8: この田主は要諦であるということはない fact9: 「その服忌は制作者でないが事前承認する」ということは間違いである fact10: その前婚は遊だということはない fact11: その国民生活時間調査は遊だということはない fact12: 「この処分性は要諦であるということはないしそれは低しない」ということは間違いである fact13: 「この処分性は事前承認しないしおまけに低しない」ということは嘘である fact14: もしこの処分性が要諦でないとすればあの前婚は低しないけれど要諦だ fact15: 仮にとある物は起き易いならば「それは低しないがしかし要諦だ」ということは事実と異なる fact16: 「「この処分性は遊でないししかも事前承認しない」ということは成り立たない」ということは成り立つ
fact6 -> int1: 仮に「この処分性は遊でないししかも事前承認しない」ということは偽だとすれば要諦でない; int1 & fact16 -> int2: この処分性は要諦でない; int2 & fact14 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact16 -> int2: ¬{B}{aa}; int2 & fact14 -> hypothesis;
「その前婚は低しないけれど要諦だ」ということは偽だ
fact17 -> int3: もし「その前婚は起き易い」ということは事実であるとしたら「低しないし要諦である」ということは間違いである; fact18 -> int4: 「捩じ込む一方でだまテンでない」物はある;
$facts$ = fact1: その前婚は要諦でないなら「この処分性は低しないがしかし要諦だ」ということは本当だ fact2: もしもその前婚が低しないとするとこの処分性は要諦でないけどそれは低し fact3: あのダンベルは収入減だということはないが伍する fact4: 「なにがしかのものは要諦でないし更に低しない」ということは成り立たないならば事前承認しない fact5: あの電器店は捩じ込むけどだまテンでない fact6: 「なんらかのものは遊だということはないししかも事前承認しない」ということは誤りだとしたらそれは要諦でない fact7: 仮になんらかの物が事前承認するとすれば要諦でない fact8: この田主は要諦であるということはない fact9: 「その服忌は制作者でないが事前承認する」ということは間違いである fact10: その前婚は遊だということはない fact11: その国民生活時間調査は遊だということはない fact12: 「この処分性は要諦であるということはないしそれは低しない」ということは間違いである fact13: 「この処分性は事前承認しないしおまけに低しない」ということは嘘である fact14: もしこの処分性が要諦でないとすればあの前婚は低しないけれど要諦だ fact15: 仮にとある物は起き易いならば「それは低しないがしかし要諦だ」ということは事実と異なる fact16: 「「この処分性は遊でないししかも事前承認しない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = 「「その前婚は低しない一方で要諦である」ということは本当である」ということは間違いだ ; $proof$ = 
fact6 -> int1: 仮に「この処分性は遊でないししかも事前承認しない」ということは偽だとすれば要諦でない; int1 & fact16 -> int2: この処分性は要諦でない; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: その前婚は要諦でないなら「この処分性は低しないがしかし要諦だ」ということは本当だ
事実2: もしもその前婚が低しないとするとこの処分性は要諦でないけどそれは低し
事実3: あのダンベルは収入減だということはないが伍する
事実4: 「なにがしかのものは要諦でないし更に低しない」ということは成り立たないならば事前承認しない
事実5: あの電器店は捩じ込むけどだまテンでない
事実6: 「なんらかのものは遊だということはないししかも事前承認しない」ということは誤りだとしたらそれは要諦でない
事実7: 仮になんらかの物が事前承認するとすれば要諦でない
事実8: この田主は要諦であるということはない
事実9: 「その服忌は制作者でないが事前承認する」ということは間違いである
事実10: その前婚は遊だということはない
事実11: その国民生活時間調査は遊だということはない
事実12: 「この処分性は要諦であるということはないしそれは低しない」ということは間違いである
事実13: 「この処分性は事前承認しないしおまけに低しない」ということは嘘である
事実14: もしこの処分性が要諦でないとすればあの前婚は低しないけれど要諦だ
事実15: 仮にとある物は起き易いならば「それは低しないがしかし要諦だ」ということは事実と異なる
事実16: 「「この処分性は遊でないししかも事前承認しない」ということは成り立たない」ということは成り立つ

仮説: 「「その前婚は低しない一方で要諦である」ということは本当である」ということは間違いだ
1. 事実6から、推論1: "仮に「この処分性は遊でないししかも事前承認しない」ということは偽だとすれば要諦でない"が導かれる
2. 推論1と事実16から、推論2: "この処分性は要諦でない"が導かれる
3. 推論2と事実14から、仮説が否定される

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