「このぽにゅぽのLv.40は忘れっぽい」ということは事実である
fact1: そのぴちゃぴにLv.85が説明し難いとすればこのぽにゅぽのLv.40は忘れっぽい fact2: 仮にそのぴちゃぴにLv.85が格好悪いならば説明し難い fact3: このみねみくLv.56は出難いがしかし反映され易くない fact4: このみねみくLv.56が出難いけど反映され易くないとするとそのぴちゃぴにLv.85は格好悪い
fact4 & fact3 -> int1: そのぴちゃぴにLv.85は格好悪い; int1 & fact2 -> int2: そのぴちゃぴにLv.85は説明し難い; int2 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: そのぴちゃぴにLv.85が説明し難いとすればこのぽにゅぽのLv.40は忘れっぽい fact2: 仮にそのぴちゃぴにLv.85が格好悪いならば説明し難い fact3: このみねみくLv.56は出難いがしかし反映され易くない fact4: このみねみくLv.56が出難いけど反映され易くないとするとそのぴちゃぴにLv.85は格好悪い ; $hypothesis$ = 「このぽにゅぽのLv.40は忘れっぽい」ということは事実である ; $proof$ = 
fact4 & fact3 -> int1: そのぴちゃぴにLv.85は格好悪い; int1 & fact2 -> int2: そのぴちゃぴにLv.85は説明し難い; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{b}; int2 & fact1 -> hypothesis; __PROVED__