あのぽねぽにょLv.16は馴染み難い
fact1: 仮に「狡賢くない」モンスターはいるなら「あのみゆみのLv.28は好もしくて狡賢い」ということは成り立たない fact2: このもわもにLv.54が馴染み難いならばあのぽねぽにょLv.16は馴染み難い fact3: とあるモンスターは好もしくないとすれば「それは救済しないかあるいはブラバスらしいかまたは両方だ」ということは間違いである fact4: 「狡賢くない」モンスターはいる fact5: もしも「あのみゆみのLv.28は好もしいしそれに狡賢い」ということは偽であるとすれば好もしくない fact6: あのぽねぽにょLv.16はずっとする fact7: あのぽねぽにょLv.16が正しいかあるいはそれがずっとするならあのぽねぽにょLv.16は馴染み難くない
fact6 -> int1: あのぽねぽにょLv.16は正しいかずっとする; int1 & fact7 -> hypothesis;
fact6 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> hypothesis;
あのぽねぽにょLv.16は馴染み難い
fact10 -> int2: もしあのみゆみのLv.28は好もしくないとすると「あのみゆみのLv.28は救済しないかまたはブラバスらしいかもしくはどちらもだ」ということは成り立たない; fact8 & fact12 -> int3: 「あのみゆみのLv.28は好もしいししかも狡賢い」ということは誤っている; fact9 & int3 -> int4: あのみゆみのLv.28は好もしいということはない; int2 & int4 -> int5: 「あのみゆみのLv.28は救済しないかまたはブラバスらしいかあるいは両方だ」ということは事実と異なる; int5 -> int6: 「「救済しないかあるいはブラバスらしいかもしくはどちらもである」ということは成り立つということはない」モンスターはいる;
$facts$ = fact1: 仮に「狡賢くない」モンスターはいるなら「あのみゆみのLv.28は好もしくて狡賢い」ということは成り立たない fact2: このもわもにLv.54が馴染み難いならばあのぽねぽにょLv.16は馴染み難い fact3: とあるモンスターは好もしくないとすれば「それは救済しないかあるいはブラバスらしいかまたは両方だ」ということは間違いである fact4: 「狡賢くない」モンスターはいる fact5: もしも「あのみゆみのLv.28は好もしいしそれに狡賢い」ということは偽であるとすれば好もしくない fact6: あのぽねぽにょLv.16はずっとする fact7: あのぽねぽにょLv.16が正しいかあるいはそれがずっとするならあのぽねぽにょLv.16は馴染み難くない ; $hypothesis$ = あのぽねぽにょLv.16は馴染み難い ; $proof$ = 
fact6 -> int1: あのぽねぽにょLv.16は正しいかずっとする; int1 & fact7 -> hypothesis; __DISPROVED__
fact6 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> hypothesis; __DISPROVED__