そのもにもやLv.83はひょろ長いということはない
fact1: すべてのモンスターはひょろ長い fact2: 古めかしくないモンスターは心地良いかあるいは近寄り難い fact3: 動き難いモンスターはひょろ長くない一方で青黒い fact4: 「先発する」モンスターはいる
fact1 -> int1: すべてのモンスターはひょろ長い; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
そのもにもやLv.83はひょろ長いということはない
fact7 -> int2: もしこのみよみやLv.14が動き難いとするとそれはひょろ長くないけど青黒い; fact5 -> int3: もし仮に「そのみにょみいLv.60は古めかしくない」ということは事実と異ならないとしたらそれは心地良いかまたはそれは近寄り難いか両方である;
$facts$ = fact1: すべてのモンスターはひょろ長い fact2: 古めかしくないモンスターは心地良いかあるいは近寄り難い fact3: 動き難いモンスターはひょろ長くない一方で青黒い fact4: 「先発する」モンスターはいる ; $hypothesis$ = そのもにもやLv.83はひょろ長いということはない ; $proof$ = 
fact1 -> int1: すべてのモンスターはひょろ長い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__