そのぽやぽのLv.90は汗臭い
fact1: あのぷくぷちゅLv.76は罹患し易い fact2: もしも御強くないモンスターは罹患し易くないとすると「それは汗臭い」ということは本当である fact3: 仮にあのぷくぷちゅLv.76が御強いしさらに汗臭いならばそのぽやぽのLv.90は罹患し易くない fact4: もし仮にあのぷくぷちゅLv.76が汗臭いということはなくて御強くないとしたらそのぽやぽのLv.90は汗臭い fact5: このまにょまちょLv.24が良しとしたらこのまにょまちょLv.24は御強くなくてそれに罹患し易くない fact6: 仮にあのぷくぷちゅLv.76が罹患し易いしまた御強いとするとそのぽやぽのLv.90は汗臭いということはない fact7: あのぷくぷちゅLv.76は御強い
fact1 & fact7 -> int1: あのぷくぷちゅLv.76は罹患し易いし御強い; int1 & fact6 -> hypothesis;
fact1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> hypothesis;
そのぽやぽのLv.90は汗臭い
$facts$ = fact1: あのぷくぷちゅLv.76は罹患し易い fact2: もしも御強くないモンスターは罹患し易くないとすると「それは汗臭い」ということは本当である fact3: 仮にあのぷくぷちゅLv.76が御強いしさらに汗臭いならばそのぽやぽのLv.90は罹患し易くない fact4: もし仮にあのぷくぷちゅLv.76が汗臭いということはなくて御強くないとしたらそのぽやぽのLv.90は汗臭い fact5: このまにょまちょLv.24が良しとしたらこのまにょまちょLv.24は御強くなくてそれに罹患し易くない fact6: 仮にあのぷくぷちゅLv.76が罹患し易いしまた御強いとするとそのぽやぽのLv.90は汗臭いということはない fact7: あのぷくぷちゅLv.76は御強い ; $hypothesis$ = そのぽやぽのLv.90は汗臭い ; $proof$ = 
fact1 & fact7 -> int1: あのぷくぷちゅLv.76は罹患し易いし御強い; int1 & fact6 -> hypothesis; __DISPROVED__
fact1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> hypothesis; __DISPROVED__