「「「堆くないが溶き入れるとしたら「広ーい」ということは真実な」モンスターはいる」ということは真実だ」ということは間違いだ
fact1: 仮に平べったくないモンスターが関係深いとすると擦れ合う fact2: あのまにゃまちゅLv.26は堆くないが溶き入れれば「広ーい」ということは確かだ fact3: 仮にあのまにゃまちゅLv.26が堆くて更に溶き入れるとしたらあのまにゃまちゅLv.26は広ーい fact4: 「もしも止むし気高いとすると黒い」モンスターはいる
fact2 -> hypothesis;
fact2 -> hypothesis;
「もし仮に平べったくないけれど関係深いとすると擦れ合う」モンスターはいる
fact5 -> int1: もし仮にこのまちゃまやLv.36が平べったくない一方でそれが関係深いならこのまちゃまやLv.36は擦れ合う; int1 -> hypothesis;
$facts$ = fact1: 仮に平べったくないモンスターが関係深いとすると擦れ合う fact2: あのまにゃまちゅLv.26は堆くないが溶き入れれば「広ーい」ということは確かだ fact3: 仮にあのまにゃまちゅLv.26が堆くて更に溶き入れるとしたらあのまにゃまちゅLv.26は広ーい fact4: 「もしも止むし気高いとすると黒い」モンスターはいる ; $hypothesis$ = 「「「堆くないが溶き入れるとしたら「広ーい」ということは真実な」モンスターはいる」ということは真実だ」ということは間違いだ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
fact2 -> hypothesis; __DISPROVED__