そのもにゃもやLv.76は男の子らしくない
fact1: あのみちゃみにょLv.69は呼び易いしそれは取らす fact2: 「あのみちゃみにょLv.69が取らせばあのみちゃみにょLv.69は書き易い」ということは成り立つ fact3: 呼び易いモンスターは男の子らしい fact4: もし仮にあのみちゃみにょLv.69は書き易いならば「そのもにゃもやLv.76は吹き付けないかまたはそれは程無い」ということは誤っている fact5: 呼び易いということはないモンスターは男の子らしくない fact6: もし仮に「「そのもにゃもやLv.76は吹き付けないかもしくは程無いかあるいはどちらもだ」ということは成り立たない」ということは真実だとすると「そのもにゃもやLv.76は男の子らしい」ということは正しい
fact1 -> int1: あのみちゃみにょLv.69は取らす; int1 & fact2 -> int2: 「あのみちゃみにょLv.69は書き易い」ということは本当だ; int2 & fact4 -> int3: 「そのもにゃもやLv.76は吹き付けないかもしくはそれは程無いかもしくは両方である」ということは誤っている; int3 & fact6 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> int3: ¬(¬{E}{b} v {D}{b}); int3 & fact6 -> hypothesis;
あのみちゃみにょLv.69は男の子らしい
fact7 -> int4: あのみちゃみにょLv.69が呼び易いならあのみちゃみにょLv.69は男の子らしい;
$facts$ = fact1: あのみちゃみにょLv.69は呼び易いしそれは取らす fact2: 「あのみちゃみにょLv.69が取らせばあのみちゃみにょLv.69は書き易い」ということは成り立つ fact3: 呼び易いモンスターは男の子らしい fact4: もし仮にあのみちゃみにょLv.69は書き易いならば「そのもにゃもやLv.76は吹き付けないかまたはそれは程無い」ということは誤っている fact5: 呼び易いということはないモンスターは男の子らしくない fact6: もし仮に「「そのもにゃもやLv.76は吹き付けないかもしくは程無いかあるいはどちらもだ」ということは成り立たない」ということは真実だとすると「そのもにゃもやLv.76は男の子らしい」ということは正しい ; $hypothesis$ = そのもにゃもやLv.76は男の子らしくない ; $proof$ = 
fact1 -> int1: あのみちゃみにょLv.69は取らす; int1 & fact2 -> int2: 「あのみちゃみにょLv.69は書き易い」ということは本当だ; int2 & fact4 -> int3: 「そのもにゃもやLv.76は吹き付けないかもしくはそれは程無いかもしくは両方である」ということは誤っている; int3 & fact6 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> int3: ¬(¬{E}{b} v {D}{b}); int3 & fact6 -> hypothesis; __DISPROVED__