そのぽにょぽにゃLv.10は馬鹿でかい
fact1: 仮にこのぴくぴにLv.2が喜ばしいならばこのぴちゃぴちょLv.8は貫徹する fact2: このぴくぴにLv.2は結集すしさらに喜ばしい fact3: もしもこのぴちゃぴちょLv.8が言い逃れるとするとそのぽにょぽにゃLv.10は馬鹿でかい fact4: 「仮にこのぴちゃぴちょLv.8が貫徹すればこのぴちゃぴちょLv.8は言い逃れる」ということは成り立つ
fact2 -> int1: このぴくぴにLv.2は喜ばしい; fact1 & int1 -> int2: 「このぴちゃぴちょLv.8は貫徹するということはない」ということは嘘だ; int2 & fact4 -> int3: このぴちゃぴちょLv.8は言い逃れる; int3 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; fact1 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{b}; int3 & fact3 -> hypothesis;
$facts$ = fact1: 仮にこのぴくぴにLv.2が喜ばしいならばこのぴちゃぴちょLv.8は貫徹する fact2: このぴくぴにLv.2は結集すしさらに喜ばしい fact3: もしもこのぴちゃぴちょLv.8が言い逃れるとするとそのぽにょぽにゃLv.10は馬鹿でかい fact4: 「仮にこのぴちゃぴちょLv.8が貫徹すればこのぴちゃぴちょLv.8は言い逃れる」ということは成り立つ ; $hypothesis$ = そのぽにょぽにゃLv.10は馬鹿でかい ; $proof$ = 
fact2 -> int1: このぴくぴにLv.2は喜ばしい; fact1 & int1 -> int2: 「このぴちゃぴちょLv.8は貫徹するということはない」ということは嘘だ; int2 & fact4 -> int3: このぴちゃぴちょLv.8は言い逃れる; int3 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; fact1 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{b}; int3 & fact3 -> hypothesis; __PROVED__