このぷえぷえLv.95は恐ろしい
fact1: もしそのぴちゅぴわLv.6が流れ易いとするとこのぷえぷえLv.95は恐ろしい fact2: 流れ易いモンスターはいがらっぽい fact3: もしこのぷえぷえLv.95が抗い難くてそれにいがらっぽいならばこのぷえぷえLv.95は恐ろしくない fact4: このぷえぷえLv.95は抗い難い fact5: 何らかのモンスターが号すればそれは寂しい fact6: 仮にこのもにゅもちょLv.24が懐かしいとすればこのもにゅもちょLv.24は恐ろしい fact7: このぷえぷえLv.95は流れ易い fact8: 「このまなまちゅLv.66は流れ易い」ということは成り立つとしたらそのぴちゅぴわLv.6は流れ易い
fact2 -> int1: もしこのぷえぷえLv.95が流れ易いとすればいがらっぽい; int1 & fact7 -> int2: このぷえぷえLv.95はいがらっぽい; int2 & fact4 -> int3: このぷえぷえLv.95は抗い難くて加えてそれはいがらっぽい; int3 & fact3 -> hypothesis;
fact2 -> int1: {A}{a} -> {B}{a}; int1 & fact7 -> int2: {B}{a}; int2 & fact4 -> int3: ({C}{a} & {B}{a}); int3 & fact3 -> hypothesis;
このぷえぷえLv.95は恐ろしい
$facts$ = fact1: もしそのぴちゅぴわLv.6が流れ易いとするとこのぷえぷえLv.95は恐ろしい fact2: 流れ易いモンスターはいがらっぽい fact3: もしこのぷえぷえLv.95が抗い難くてそれにいがらっぽいならばこのぷえぷえLv.95は恐ろしくない fact4: このぷえぷえLv.95は抗い難い fact5: 何らかのモンスターが号すればそれは寂しい fact6: 仮にこのもにゅもちょLv.24が懐かしいとすればこのもにゅもちょLv.24は恐ろしい fact7: このぷえぷえLv.95は流れ易い fact8: 「このまなまちゅLv.66は流れ易い」ということは成り立つとしたらそのぴちゅぴわLv.6は流れ易い ; $hypothesis$ = このぷえぷえLv.95は恐ろしい ; $proof$ = 
fact2 -> int1: もしこのぷえぷえLv.95が流れ易いとすればいがらっぽい; int1 & fact7 -> int2: このぷえぷえLv.95はいがらっぽい; int2 & fact4 -> int3: このぷえぷえLv.95は抗い難くて加えてそれはいがらっぽい; int3 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a} -> {B}{a}; int1 & fact7 -> int2: {B}{a}; int2 & fact4 -> int3: ({C}{a} & {B}{a}); int3 & fact3 -> hypothesis; __DISPROVED__