「あのもにもわLv.2は関連付けし為さるけれど取れ難くない」ということは成り立つということはない
fact1: もし仮にそのぴにょぴにゃLv.45が勉強すれば取れ難くない fact2: そのぴにょぴにゃLv.45は見窄らしい fact3: 「「あのもにもわLv.2は関連付けし為さるしそれに取れ難い」ということは正しい」ということは成り立つということはない fact4: もしもそのぴにょぴにゃLv.45は取れ難くないとすれば「あのもにもわLv.2は関連付けし為さる一方で取れ難いということはない」ということは成り立たない fact5: もしもそのぴにょぴにゃLv.45が勉強するかあるいは見窄らしいかあるいは両方であるならそのぴにょぴにゃLv.45は取れ難くない fact6: もしそのぴにょぴにゃLv.45が専有するとするとそのぴにょぴにゃLv.45は関連付けし為さらなくてそれにそれは勉強しない fact7: 仮にそのぴにょぴにゃLv.45が見窄らしくないが取れ難いとすればこのみくみわLv.59は見窄らしくない
fact2 -> int1: そのぴにょぴにゃLv.45は勉強するかまたは見窄らしいかあるいはどちらもだ; int1 & fact5 -> int2: そのぴにょぴにゃLv.45は取れ難くない; int2 & fact4 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis;
このみくみわLv.59は見窄らしくない
$facts$ = fact1: もし仮にそのぴにょぴにゃLv.45が勉強すれば取れ難くない fact2: そのぴにょぴにゃLv.45は見窄らしい fact3: 「「あのもにもわLv.2は関連付けし為さるしそれに取れ難い」ということは正しい」ということは成り立つということはない fact4: もしもそのぴにょぴにゃLv.45は取れ難くないとすれば「あのもにもわLv.2は関連付けし為さる一方で取れ難いということはない」ということは成り立たない fact5: もしもそのぴにょぴにゃLv.45が勉強するかあるいは見窄らしいかあるいは両方であるならそのぴにょぴにゃLv.45は取れ難くない fact6: もしそのぴにょぴにゃLv.45が専有するとするとそのぴにょぴにゃLv.45は関連付けし為さらなくてそれにそれは勉強しない fact7: 仮にそのぴにょぴにゃLv.45が見窄らしくないが取れ難いとすればこのみくみわLv.59は見窄らしくない ; $hypothesis$ = 「あのもにもわLv.2は関連付けし為さるけれど取れ難くない」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: そのぴにょぴにゃLv.45は勉強するかまたは見窄らしいかあるいはどちらもだ; int1 & fact5 -> int2: そのぴにょぴにゃLv.45は取れ難くない; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis; __PROVED__