あのぴなぴやLv.17は縁遠い
fact1: このみわみにょLv.84は艶っぽい fact2: もしこのみわみにょLv.84が飛び火するかもしくはそれは艶っぽいとすれば「それは餌付けしない」ということは成り立つ fact3: もしも「餌付けしない」モンスターがいるならそのまねまちゅLv.62はうら若いけれどそれは燃え易くない fact4: もしもそのまねまちゅLv.62がうら若いがしかし燃え易くないとするとあのぴなぴやLv.17は縁遠いということはない
fact1 -> int1: このみわみにょLv.84は飛び火するかあるいは艶っぽいかあるいは両方だ; int1 & fact2 -> int2: このみわみにょLv.84は餌付けしない; int2 -> int3: 「餌付けしない」モンスターはいる; int3 & fact3 -> int4: そのまねまちゅLv.62はうら若いがしかし燃え易くない; int4 & fact4 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 -> int3: (Ex): ¬{C}x; int3 & fact3 -> int4: ({E}{b} & ¬{D}{b}); int4 & fact4 -> hypothesis;
$facts$ = fact1: このみわみにょLv.84は艶っぽい fact2: もしこのみわみにょLv.84が飛び火するかもしくはそれは艶っぽいとすれば「それは餌付けしない」ということは成り立つ fact3: もしも「餌付けしない」モンスターがいるならそのまねまちゅLv.62はうら若いけれどそれは燃え易くない fact4: もしもそのまねまちゅLv.62がうら若いがしかし燃え易くないとするとあのぴなぴやLv.17は縁遠いということはない ; $hypothesis$ = あのぴなぴやLv.17は縁遠い ; $proof$ = 
fact1 -> int1: このみわみにょLv.84は飛び火するかあるいは艶っぽいかあるいは両方だ; int1 & fact2 -> int2: このみわみにょLv.84は餌付けしない; int2 -> int3: 「餌付けしない」モンスターはいる; int3 & fact3 -> int4: そのまねまちゅLv.62はうら若いがしかし燃え易くない; int4 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 -> int3: (Ex): ¬{C}x; int3 & fact3 -> int4: ({E}{b} & ¬{D}{b}); int4 & fact4 -> hypothesis; __DISPROVED__