あのぷねぷえLv.77は臭くて堪り易い
fact1: あのぷねぷえLv.77は感じ易い fact2: このまちゅまいLv.50は薄いしかつ臭い fact3: もしあのぷねぷえLv.77は気忙しくないとしたら「あのぷねぷえLv.77は臭くてそれは堪り易い」ということは誤っている fact4: そのぴくぴにょLv.13は若しないし気忙しくない fact5: もし仮にあのぴのぴなLv.57が感じ易い一方で管理し易くないとすればこのぷよぷちゅLv.25は感じ易くない fact6: あのぷねぷえLv.77が感じ易いししかも管理し易いとするとあのぷねぷえLv.77は気忙しくない fact7: もしもそのまちょまくLv.36が感じ易くないならあのぷねぷえLv.77は臭くてかつ堪り易い fact8: 「あのぷねぷえLv.77は管理し易い」ということは確かだ
fact1 & fact8 -> int1: あのぷねぷえLv.77は感じ易くて管理し易い; int1 & fact6 -> int2: あのぷねぷえLv.77は気忙しくない; int2 & fact3 -> hypothesis;
fact1 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis;
あのぷねぷえLv.77は臭くて堪り易い
fact11 -> int3: 何らかのモンスターは若しないしそれは気忙しくない;
$facts$ = fact1: あのぷねぷえLv.77は感じ易い fact2: このまちゅまいLv.50は薄いしかつ臭い fact3: もしあのぷねぷえLv.77は気忙しくないとしたら「あのぷねぷえLv.77は臭くてそれは堪り易い」ということは誤っている fact4: そのぴくぴにょLv.13は若しないし気忙しくない fact5: もし仮にあのぴのぴなLv.57が感じ易い一方で管理し易くないとすればこのぷよぷちゅLv.25は感じ易くない fact6: あのぷねぷえLv.77が感じ易いししかも管理し易いとするとあのぷねぷえLv.77は気忙しくない fact7: もしもそのまちょまくLv.36が感じ易くないならあのぷねぷえLv.77は臭くてかつ堪り易い fact8: 「あのぷねぷえLv.77は管理し易い」ということは確かだ ; $hypothesis$ = あのぷねぷえLv.77は臭くて堪り易い ; $proof$ = 
fact1 & fact8 -> int1: あのぷねぷえLv.77は感じ易くて管理し易い; int1 & fact6 -> int2: あのぷねぷえLv.77は気忙しくない; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__