このみのみわLv.74は馬鹿でかい
fact1: そのぽちゅぽねLv.15は凄くてかつそれは本当らしい fact2: 仮にこのみのみわLv.74が理解し易いとしたらこのみのみわLv.74は馬鹿でかい fact3: 仮にそのぽちゅぽねLv.15が凄いならばこのみのみわLv.74は理解し易い
fact1 -> int1: そのぽちゅぽねLv.15は凄い; int1 & fact3 -> int2: このみのみわLv.74は理解し易い; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: そのぽちゅぽねLv.15は凄くてかつそれは本当らしい fact2: 仮にこのみのみわLv.74が理解し易いとしたらこのみのみわLv.74は馬鹿でかい fact3: 仮にそのぽちゅぽねLv.15が凄いならばこのみのみわLv.74は理解し易い ; $hypothesis$ = このみのみわLv.74は馬鹿でかい ; $proof$ = 
fact1 -> int1: そのぽちゅぽねLv.15は凄い; int1 & fact3 -> int2: このみのみわLv.74は理解し易い; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__