そのぴにゃぴえLv.60は尊し
fact1: もしもそのぴにゃぴえLv.60が嫌味っぽいならそれは尊し fact2: もしもあのまえまくLv.13が弁解がましいならこのぴにぴなLv.60はバランス良い fact3: あのまえまくLv.13は弁解がましいしまた誤導する fact4: 「あのまえまくLv.13は誤導するということはない」ということは誤りだ fact5: 仮にこのぴにぴなLv.60がバランス良いならばそのぴにゃぴえLv.60は嫌味っぽい
fact3 -> int1: あのまえまくLv.13は弁解がましい; fact2 & int1 -> int2: このぴにぴなLv.60はバランス良い; int2 & fact5 -> int3: そのぴにゃぴえLv.60は嫌味っぽい; int3 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのぴにゃぴえLv.60が嫌味っぽいならそれは尊し fact2: もしもあのまえまくLv.13が弁解がましいならこのぴにぴなLv.60はバランス良い fact3: あのまえまくLv.13は弁解がましいしまた誤導する fact4: 「あのまえまくLv.13は誤導するということはない」ということは誤りだ fact5: 仮にこのぴにぴなLv.60がバランス良いならばそのぴにゃぴえLv.60は嫌味っぽい ; $hypothesis$ = そのぴにゃぴえLv.60は尊し ; $proof$ = 
fact3 -> int1: あのまえまくLv.13は弁解がましい; fact2 & int1 -> int2: このぴにぴなLv.60はバランス良い; int2 & fact5 -> int3: そのぴにゃぴえLv.60は嫌味っぽい; int3 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact1 -> hypothesis; __PROVED__