あのみちょみちゅLv.32は女の子らしい
fact1: あらゆるモンスターは女の子らしい fact2: 「全てのモンスターは自分らしくない」ということは偽でない fact3: 自分らしくないモンスターは程遠くない fact4: 自分らしいモンスターは程遠い fact5: 仮にあのぷのぷにゅLv.71は程遠いとすれば「このもちゃもゆLv.74は女の子らしくないか嫌らしいか両方ともである」ということは誤っている fact6: もしも「このもちゃもゆLv.74は女の子らしくないかまたはそれは嫌らしい」ということは真実であるということはないとすると「あのみちょみちゅLv.32は女の子らしくない」ということは事実だ
fact1 -> int1: あらゆるモンスターは女の子らしい; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
「すべてのモンスターはきもい」ということは確かだ
fact8 -> int2: もし仮にあのみちょみちゅLv.32が自分らしくないとすればあのみちょみちゅLv.32は程遠くない; fact7 -> int3: あのみちょみちゅLv.32は自分らしくない; int2 & int3 -> int4: あのみちょみちゅLv.32は程遠くない;
$facts$ = fact1: あらゆるモンスターは女の子らしい fact2: 「全てのモンスターは自分らしくない」ということは偽でない fact3: 自分らしくないモンスターは程遠くない fact4: 自分らしいモンスターは程遠い fact5: 仮にあのぷのぷにゅLv.71は程遠いとすれば「このもちゃもゆLv.74は女の子らしくないか嫌らしいか両方ともである」ということは誤っている fact6: もしも「このもちゃもゆLv.74は女の子らしくないかまたはそれは嫌らしい」ということは真実であるということはないとすると「あのみちょみちゅLv.32は女の子らしくない」ということは事実だ ; $hypothesis$ = あのみちょみちゅLv.32は女の子らしい ; $proof$ = 
fact1 -> int1: あらゆるモンスターは女の子らしい; int1 -> hypothesis; __PROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__