あのみわみわLv.8は尤もらしい
fact1: もしあるモンスターは免許しないとしたら「貧しないしおまけにそれは自画自賛する」ということは真実でない fact2: あのみわみわLv.8は貧し fact3: そのぷいぷなLv.82は貧しない fact4: あのみわみわLv.8は歌舞伎っぽいし更に自画自賛する fact5: 「あのまなまいLv.3は貧しないが自画自賛する」ということは成り立たないならそのぷにぷのLv.58は自画自賛しない fact6: あのみわみわLv.8が歌舞伎っぽいしそれは貧しとすれば「尤もらしいということはない」ということは正しい
fact4 -> int1: あのみわみわLv.8は歌舞伎っぽい; int1 & fact2 -> int2: あのみわみわLv.8は歌舞伎っぽいしかつ貧し; int2 & fact6 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis;
あのみわみわLv.8は尤もらしい
fact7 -> int3: もしもあのまなまいLv.3は免許するということはないとすると「貧しないけれど自画自賛する」ということは成り立たない;
$facts$ = fact1: もしあるモンスターは免許しないとしたら「貧しないしおまけにそれは自画自賛する」ということは真実でない fact2: あのみわみわLv.8は貧し fact3: そのぷいぷなLv.82は貧しない fact4: あのみわみわLv.8は歌舞伎っぽいし更に自画自賛する fact5: 「あのまなまいLv.3は貧しないが自画自賛する」ということは成り立たないならそのぷにぷのLv.58は自画自賛しない fact6: あのみわみわLv.8が歌舞伎っぽいしそれは貧しとすれば「尤もらしいということはない」ということは正しい ; $hypothesis$ = あのみわみわLv.8は尤もらしい ; $proof$ = 
fact4 -> int1: あのみわみわLv.8は歌舞伎っぽい; int1 & fact2 -> int2: あのみわみわLv.8は歌舞伎っぽいしかつ貧し; int2 & fact6 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis; __DISPROVED__