このぽよぽゆLv.68は気弱い
fact1: このぽねぽにょLv.87は厚い fact2: 仮にこのぽねぽにょLv.87が弱ししまた厚いならこのぽよぽゆLv.68は気弱いということはない fact3: 「このぽねぽにょLv.87は弱し」ということは嘘でない
fact3 & fact1 -> int1: このぽねぽにょLv.87は弱しし厚い; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
$facts$ = fact1: このぽねぽにょLv.87は厚い fact2: 仮にこのぽねぽにょLv.87が弱ししまた厚いならこのぽよぽゆLv.68は気弱いということはない fact3: 「このぽねぽにょLv.87は弱し」ということは嘘でない ; $hypothesis$ = このぽよぽゆLv.68は気弱い ; $proof$ = 
fact3 & fact1 -> int1: このぽねぽにょLv.87は弱しし厚い; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis; __DISPROVED__