あのみやみにLv.85は収集するしおまけに乏しい
fact1: 仮にそのぽゆぽちょLv.74が掏るないとすればそのもわもやLv.70は迫害するかもしくはそれは美々しいということはない fact2: 「そのぽゆぽちょLv.74は掏るない」ということは正しい fact3: あのみやみにLv.85は収集する fact4: 「そのもわもやLv.70は収集しない」ということは成り立つ fact5: もしもあのみやみにLv.85が掏るないかまたは御早くないかもしくは両方だとしたらあのみやみにLv.85は掏るない fact6: もし仮にあのみやみにLv.85が御連れ下さるとすると乏しい fact7: そのもわもやLv.70は迫害するか美々しい fact8: もしもあのみやみにLv.85が御早いとしたらそれは御連れ下さる fact9: あのまくまやLv.38は掏る fact10: もしそのもわもやLv.70が迫害するかあるいは美々しくないかあるいはどちらもだとしたらあのみやみにLv.85は御早い
fact1 & fact2 -> int1: そのもわもやLv.70は迫害するか美々しくないかまたはどちらもである; int1 & fact10 -> int2: 「あのみやみにLv.85は御早い」ということは誤りでない; int2 & fact8 -> int3: あのみやみにLv.85は御連れ下さる; int3 & fact6 -> int4: あのみやみにLv.85は乏しい; int4 & fact3 -> hypothesis;
fact1 & fact2 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact10 -> int2: {B}{c}; int2 & fact8 -> int3: {C}{c}; int3 & fact6 -> int4: {D}{c}; int4 & fact3 -> hypothesis;
「あのみやみにLv.85は収集するしその上乏しい」ということは誤っている
$facts$ = fact1: 仮にそのぽゆぽちょLv.74が掏るないとすればそのもわもやLv.70は迫害するかもしくはそれは美々しいということはない fact2: 「そのぽゆぽちょLv.74は掏るない」ということは正しい fact3: あのみやみにLv.85は収集する fact4: 「そのもわもやLv.70は収集しない」ということは成り立つ fact5: もしもあのみやみにLv.85が掏るないかまたは御早くないかもしくは両方だとしたらあのみやみにLv.85は掏るない fact6: もし仮にあのみやみにLv.85が御連れ下さるとすると乏しい fact7: そのもわもやLv.70は迫害するか美々しい fact8: もしもあのみやみにLv.85が御早いとしたらそれは御連れ下さる fact9: あのまくまやLv.38は掏る fact10: もしそのもわもやLv.70が迫害するかあるいは美々しくないかあるいはどちらもだとしたらあのみやみにLv.85は御早い ; $hypothesis$ = あのみやみにLv.85は収集するしおまけに乏しい ; $proof$ = 
fact1 & fact2 -> int1: そのもわもやLv.70は迫害するか美々しくないかまたはどちらもである; int1 & fact10 -> int2: 「あのみやみにLv.85は御早い」ということは誤りでない; int2 & fact8 -> int3: あのみやみにLv.85は御連れ下さる; int3 & fact6 -> int4: あのみやみにLv.85は乏しい; int4 & fact3 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact10 -> int2: {B}{c}; int2 & fact8 -> int3: {C}{c}; int3 & fact6 -> int4: {D}{c}; int4 & fact3 -> hypothesis; __PROVED__