あのぴにょぴえLv.38は忙しなくない
fact1: あのぴくぴにょLv.28はつべたくない一方で示し易い fact2: もし仮に「あのぷにょぷいLv.2は貧しないしさらに良しない」ということは成り立たないならあのぴにょぴえLv.38は忙しない fact3: もしもあのぴくぴにょLv.28は惜しみ無いならば「あのぷくぷにょLv.29は惜しみ無くないかもしくは出現し続けるかどちらもである」ということは誤っている fact4: あのぴくぴにょLv.28は惜しみ無いとすると「あのぷにょぷいLv.2は惜しみ無くないかもしくは良し」ということは真実でない fact5: もし仮にあのぴくぴにょLv.28がつべたくないがしかしそれが示し易いとしたらあのぴくぴにょLv.28は惜しみ無い fact6: もしも「あるモンスターは示し易くないかあるいは危ないかもしくは両方だ」ということは確かでないならば遣る瀬無くない fact7: もしあのぷくぷにょLv.29は貧しないならば「あのぷにょぷいLv.2は貧しないしそれに良しない」ということは成り立たない fact8: もしも「「あのぷくぷにょLv.29は惜しみ無くないか出現し続けるかもしくは両方ともだ」ということは間違っている」ということは正しいとすればそれは貧しない
fact5 & fact1 -> int1: あのぴくぴにょLv.28は惜しみ無い; int1 & fact3 -> int2: 「あのぷくぷにょLv.29は惜しみ無くないか出現し続ける」ということは間違っている; int2 & fact8 -> int3: あのぷくぷにょLv.29は貧しということはない; int3 & fact7 -> int4: 「あのぷにょぷいLv.2は貧しということはなくて更にそれは良しない」ということは成り立たない; int4 & fact2 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ¬(¬{B}{b} v {C}{b}); int2 & fact8 -> int3: ¬{A}{b}; int3 & fact7 -> int4: ¬(¬{A}{c} & ¬{E}{c}); int4 & fact2 -> hypothesis;
もし「そのぴねぴねLv.18は示し易くないか危ないかあるいは両方ともだ」ということは事実と異なるとしたらそれは遣る瀬無くない
fact9 -> hypothesis;
$facts$ = fact1: あのぴくぴにょLv.28はつべたくない一方で示し易い fact2: もし仮に「あのぷにょぷいLv.2は貧しないしさらに良しない」ということは成り立たないならあのぴにょぴえLv.38は忙しない fact3: もしもあのぴくぴにょLv.28は惜しみ無いならば「あのぷくぷにょLv.29は惜しみ無くないかもしくは出現し続けるかどちらもである」ということは誤っている fact4: あのぴくぴにょLv.28は惜しみ無いとすると「あのぷにょぷいLv.2は惜しみ無くないかもしくは良し」ということは真実でない fact5: もし仮にあのぴくぴにょLv.28がつべたくないがしかしそれが示し易いとしたらあのぴくぴにょLv.28は惜しみ無い fact6: もしも「あるモンスターは示し易くないかあるいは危ないかもしくは両方だ」ということは確かでないならば遣る瀬無くない fact7: もしあのぷくぷにょLv.29は貧しないならば「あのぷにょぷいLv.2は貧しないしそれに良しない」ということは成り立たない fact8: もしも「「あのぷくぷにょLv.29は惜しみ無くないか出現し続けるかもしくは両方ともだ」ということは間違っている」ということは正しいとすればそれは貧しない ; $hypothesis$ = あのぴにょぴえLv.38は忙しなくない ; $proof$ = 
fact5 & fact1 -> int1: あのぴくぴにょLv.28は惜しみ無い; int1 & fact3 -> int2: 「あのぷくぷにょLv.29は惜しみ無くないか出現し続ける」ということは間違っている; int2 & fact8 -> int3: あのぷくぷにょLv.29は貧しということはない; int3 & fact7 -> int4: 「あのぷにょぷいLv.2は貧しということはなくて更にそれは良しない」ということは成り立たない; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ¬(¬{B}{b} v {C}{b}); int2 & fact8 -> int3: ¬{A}{b}; int3 & fact7 -> int4: ¬(¬{A}{c} & ¬{E}{c}); int4 & fact2 -> hypothesis; __DISPROVED__