このみやみちょLv.30は軽々しい
fact1: 全てのモンスターは痒い fact2: もしもなんらかのモンスターは痒いならば「それは古臭くないしその上酷くない」ということは成り立たない fact3: あらゆるモンスターは軽々しい fact4: もし「何らかのモンスターは軽々しい一方で掛かり易いということはない」ということは成り立たないならば「それは軽々しくない」ということは真実だ
fact3 -> int1: あらゆるモンスターは軽々しい; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
このみやみちょLv.30は軽々しくない
fact7 -> int2: 仮に「「このみやみちょLv.30は軽々しい一方でそれは掛かり易くない」ということは間違っていない」ということは誤っているとすると「それは軽々しくない」ということは本当だ; fact5 -> int3: 仮にあのまよまちゃLv.97は痒いとしたら「それは古臭くないし更に酷くない」ということは嘘である; fact6 -> int4: あのまよまちゃLv.97は痒い; int3 & int4 -> int5: 「あのまよまちゃLv.97は古臭くないししかも酷くない」ということは事実と異なる; int5 -> int6: 古臭くないし酷くないモンスターはない; int6 -> int7: 「あのまくまわLv.31は古臭くなくておまけに酷くない」ということは成り立たない;
$facts$ = fact1: 全てのモンスターは痒い fact2: もしもなんらかのモンスターは痒いならば「それは古臭くないしその上酷くない」ということは成り立たない fact3: あらゆるモンスターは軽々しい fact4: もし「何らかのモンスターは軽々しい一方で掛かり易いということはない」ということは成り立たないならば「それは軽々しくない」ということは真実だ ; $hypothesis$ = このみやみちょLv.30は軽々しい ; $proof$ = 
fact3 -> int1: あらゆるモンスターは軽々しい; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__