このぽにゃぽなLv.51は切ない
fact1: 仲間らしくないモンスターは乾き易いモンスターで切ない fact2: すべてのモンスターは白々しい fact3: 「すべてのモンスターは切ない」ということは確かである
fact3 -> int1: 「すべてのモンスターは切ない」ということは確かである; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは乾き易い
fact4 -> int2: もし仮にこのぽにゃぽなLv.51が仲間らしくないならばそれは乾き易くておまけに切ない;
$facts$ = fact1: 仲間らしくないモンスターは乾き易いモンスターで切ない fact2: すべてのモンスターは白々しい fact3: 「すべてのモンスターは切ない」ということは確かである ; $hypothesis$ = このぽにゃぽなLv.51は切ない ; $proof$ = 
fact3 -> int1: 「すべてのモンスターは切ない」ということは確かである; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__