そのもにゃもねLv.5は誤解され易い
fact1: もしこのぴちょぴくLv.93が湿気易いならばあのぽなぽわLv.61は清々しい fact2: もしあのぽなぽわLv.61が延焼するとしたらそのもにゃもねLv.5は誤解され易い fact3: もし仮にあのぽなぽわLv.61が誤解され易いならばそのもにゃもねLv.5は延焼する fact4: このぴちょぴくLv.93は湿気易い fact5: もしあのぽなぽわLv.61が清々しいとしたらそれは延焼する fact6: 仮に「とあるモンスターは清々しいということはないけど誤解され易い」ということは間違っていれば「それは誤解され易くない」ということは確かだ
fact1 & fact4 -> int1: あのぽなぽわLv.61は清々しい; int1 & fact5 -> int2: あのぽなぽわLv.61は延焼する; int2 & fact2 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
そのもにゃもねLv.5は誤解され易くない
fact7 -> int3: もし「そのもにゃもねLv.5は清々しいということはない一方で誤解され易い」ということは間違っているとしたらそれは誤解され易くない;
$facts$ = fact1: もしこのぴちょぴくLv.93が湿気易いならばあのぽなぽわLv.61は清々しい fact2: もしあのぽなぽわLv.61が延焼するとしたらそのもにゃもねLv.5は誤解され易い fact3: もし仮にあのぽなぽわLv.61が誤解され易いならばそのもにゃもねLv.5は延焼する fact4: このぴちょぴくLv.93は湿気易い fact5: もしあのぽなぽわLv.61が清々しいとしたらそれは延焼する fact6: 仮に「とあるモンスターは清々しいということはないけど誤解され易い」ということは間違っていれば「それは誤解され易くない」ということは確かだ ; $hypothesis$ = そのもにゃもねLv.5は誤解され易い ; $proof$ = 
fact1 & fact4 -> int1: あのぽなぽわLv.61は清々しい; int1 & fact5 -> int2: あのぽなぽわLv.61は延焼する; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__