あのぷちゃぷにゅLv.8は逞しい
fact1: もし仮にあのまよまよLv.94が入り易くないならこのぴにゃぴわLv.15は入り易いかまたはそれは味気ない fact2: もしもこのぴにゃぴわLv.15が入り易いということはないか浮き易いかまたは両方であるとしたらあのぷちゃぷにゅLv.8は逞しい fact3: もしもこのぴにゃぴわLv.15が浮き易くないとしたらあのぷちゃぷにゅLv.8は浮き易いか逞しいかあるいは両方ともだ fact4: もしこのぴにゃぴわLv.15が入り易くないとしたらあのぷちゃぷにゅLv.8は逞しい fact5: 「あのまよまよLv.94は味気なくないかもしくは遅くない」ということは事実と異なる fact6: もしこのぴちゅぴちょLv.31が入り易くないとするとこのぴにゃぴわLv.15は入り易くないかまたはそれは浮き易いかあるいはどちらもだ fact7: あのまよまよLv.94は味気ない fact8: このぴにゃぴわLv.15は遅い fact9: もしも「あのまよまよLv.94は味気ないということはないかもしくは遅くないかどちらもだ」ということは間違っていればこのぴちゅぴちょLv.31は入り易くない
fact9 & fact5 -> int1: 「このぴちゅぴちょLv.31は入り易くない」ということは成り立つ; int1 & fact6 -> int2: このぴにゃぴわLv.15は入り易くないかまたは浮き易いかまたはどちらもである; int2 & fact2 -> hypothesis;
fact9 & fact5 -> int1: ¬{B}{b}; int1 & fact6 -> int2: (¬{B}{c} v {A}{c}); int2 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にあのまよまよLv.94が入り易くないならこのぴにゃぴわLv.15は入り易いかまたはそれは味気ない fact2: もしもこのぴにゃぴわLv.15が入り易いということはないか浮き易いかまたは両方であるとしたらあのぷちゃぷにゅLv.8は逞しい fact3: もしもこのぴにゃぴわLv.15が浮き易くないとしたらあのぷちゃぷにゅLv.8は浮き易いか逞しいかあるいは両方ともだ fact4: もしこのぴにゃぴわLv.15が入り易くないとしたらあのぷちゃぷにゅLv.8は逞しい fact5: 「あのまよまよLv.94は味気なくないかもしくは遅くない」ということは事実と異なる fact6: もしこのぴちゅぴちょLv.31が入り易くないとするとこのぴにゃぴわLv.15は入り易くないかまたはそれは浮き易いかあるいはどちらもだ fact7: あのまよまよLv.94は味気ない fact8: このぴにゃぴわLv.15は遅い fact9: もしも「あのまよまよLv.94は味気ないということはないかもしくは遅くないかどちらもだ」ということは間違っていればこのぴちゅぴちょLv.31は入り易くない ; $hypothesis$ = あのぷちゃぷにゅLv.8は逞しい ; $proof$ = 
fact9 & fact5 -> int1: 「このぴちゅぴちょLv.31は入り易くない」ということは成り立つ; int1 & fact6 -> int2: このぴにゃぴわLv.15は入り易くないかまたは浮き易いかまたはどちらもである; int2 & fact2 -> hypothesis; __PROVED__
fact9 & fact5 -> int1: ¬{B}{b}; int1 & fact6 -> int2: (¬{B}{c} v {A}{c}); int2 & fact2 -> hypothesis; __PROVED__