「このぷにゅぷゆLv.84は抜け出せない」ということは本当だ
fact1: このみいみちょLv.12はうざい fact2: もしそのまにょまちゅLv.97が密航しないとすればこのぷにゅぷゆLv.84は抜け出せる fact3: 「このみいみちょLv.12は手荒い」ということは事実だ fact4: このみいみちょLv.12がうざいしまた手荒いとしたらそのまにょまちゅLv.97は密航しない fact5: そのまにょまちゅLv.97は抜け出せない
fact1 & fact3 -> int1: このみいみちょLv.12はうざいし手荒い; int1 & fact4 -> int2: そのまにょまちゅLv.97は密航しない; int2 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このみいみちょLv.12はうざい fact2: もしそのまにょまちゅLv.97が密航しないとすればこのぷにゅぷゆLv.84は抜け出せる fact3: 「このみいみちょLv.12は手荒い」ということは事実だ fact4: このみいみちょLv.12がうざいしまた手荒いとしたらそのまにょまちゅLv.97は密航しない fact5: そのまにょまちゅLv.97は抜け出せない ; $hypothesis$ = 「このぷにゅぷゆLv.84は抜け出せない」ということは本当だ ; $proof$ = 
fact1 & fact3 -> int1: このみいみちょLv.12はうざいし手荒い; int1 & fact4 -> int2: そのまにょまちゅLv.97は密航しない; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__