あのみわみちゅLv.2はうら若しない
fact1: このみねみわLv.41は生々しい fact2: 仮にこのもいもえLv.62が渡り歩くということはないしそれが毒々しくないとすればあのみわみちゅLv.2はうら若し fact3: このみねみわLv.41は若々しい fact4: もし仮にこのみねみわLv.41が暑いし若々しいとするとそのもにもにょLv.36は見付け易くない fact5: そのもにもにょLv.36が見付け易くないならこのもいもえLv.62は渡り歩かないしまた毒々しくない fact6: そのもにもにょLv.36は若々しい fact7: 仮にこのみねみわLv.41が生々しいとするとこのみねみわLv.41は暑い
fact7 & fact1 -> int1: このみねみわLv.41は暑い; int1 & fact3 -> int2: このみねみわLv.41は暑いしおまけに若々しい; int2 & fact4 -> int3: そのもにもにょLv.36は見付け易くない; int3 & fact5 -> int4: このもいもえLv.62は渡り歩かないしそれに毒々しくない; int4 & fact2 -> hypothesis;
fact7 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{b}; int3 & fact5 -> int4: (¬{E}{c} & ¬{F}{c}); int4 & fact2 -> hypothesis;
あのみわみちゅLv.2はうら若しない
fact8 -> int5: なんらかのモンスターは若々しい;
$facts$ = fact1: このみねみわLv.41は生々しい fact2: 仮にこのもいもえLv.62が渡り歩くということはないしそれが毒々しくないとすればあのみわみちゅLv.2はうら若し fact3: このみねみわLv.41は若々しい fact4: もし仮にこのみねみわLv.41が暑いし若々しいとするとそのもにもにょLv.36は見付け易くない fact5: そのもにもにょLv.36が見付け易くないならこのもいもえLv.62は渡り歩かないしまた毒々しくない fact6: そのもにもにょLv.36は若々しい fact7: 仮にこのみねみわLv.41が生々しいとするとこのみねみわLv.41は暑い ; $hypothesis$ = あのみわみちゅLv.2はうら若しない ; $proof$ = 
fact7 & fact1 -> int1: このみねみわLv.41は暑い; int1 & fact3 -> int2: このみねみわLv.41は暑いしおまけに若々しい; int2 & fact4 -> int3: そのもにもにょLv.36は見付け易くない; int3 & fact5 -> int4: このもいもえLv.62は渡り歩かないしそれに毒々しくない; int4 & fact2 -> hypothesis; __DISPROVED__
fact7 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{b}; int3 & fact5 -> int4: (¬{E}{c} & ¬{F}{c}); int4 & fact2 -> hypothesis; __DISPROVED__