そのもよもにょLv.90は御安いということはない
fact1: もし仮にあのぴいぴねLv.58が使い分けるということはないかまたは誤解し易くないか両方ともだとすればあのぴいぴねLv.58は言い出し兼ねない fact2: 「「そのもよもにょLv.90は進出しないけれど汚らわしい」ということは本当だ」ということは本当でない fact3: 「「「そのもよもにょLv.90は進出しないしさらに汚らわしいということはない」ということは成り立つ」ということは誤りだとするとそのもよもにょLv.90は付き難いということはない」ということは成り立つ fact4: 「そのもよもにょLv.90は進出しなくてかつ汚らわしくない」ということは誤りだ fact5: そのもよもにょLv.90が付き難くないか会話らしくないかまたはどちらもだとするとそのもよもにょLv.90は御安くない fact6: 「そのもよもにょLv.90は進出するが汚らわしいということはない」ということは誤りだ fact7: 仮に「とあるモンスターは付き難くなくておまけに弄くらない」ということは成り立たないとすると如何致さない
fact3 & fact4 -> int1: そのもよもにょLv.90は付き難くない; int1 -> int2: そのもよもにょLv.90は付き難くないかもしくは会話らしくない; int2 & fact5 -> hypothesis;
fact3 & fact4 -> int1: ¬{B}{a}; int1 -> int2: (¬{B}{a} v ¬{A}{a}); int2 & fact5 -> hypothesis;
仮に「そのもよもにょLv.90は付き難いということはないしそれに弄くらない」ということは偽であるとするとそれは如何致さない
fact8 -> hypothesis;
$facts$ = fact1: もし仮にあのぴいぴねLv.58が使い分けるということはないかまたは誤解し易くないか両方ともだとすればあのぴいぴねLv.58は言い出し兼ねない fact2: 「「そのもよもにょLv.90は進出しないけれど汚らわしい」ということは本当だ」ということは本当でない fact3: 「「「そのもよもにょLv.90は進出しないしさらに汚らわしいということはない」ということは成り立つ」ということは誤りだとするとそのもよもにょLv.90は付き難いということはない」ということは成り立つ fact4: 「そのもよもにょLv.90は進出しなくてかつ汚らわしくない」ということは誤りだ fact5: そのもよもにょLv.90が付き難くないか会話らしくないかまたはどちらもだとするとそのもよもにょLv.90は御安くない fact6: 「そのもよもにょLv.90は進出するが汚らわしいということはない」ということは誤りだ fact7: 仮に「とあるモンスターは付き難くなくておまけに弄くらない」ということは成り立たないとすると如何致さない ; $hypothesis$ = そのもよもにょLv.90は御安いということはない ; $proof$ = 
fact3 & fact4 -> int1: そのもよもにょLv.90は付き難くない; int1 -> int2: そのもよもにょLv.90は付き難くないかもしくは会話らしくない; int2 & fact5 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: ¬{B}{a}; int1 -> int2: (¬{B}{a} v ¬{A}{a}); int2 & fact5 -> hypothesis; __PROVED__