あのみねみにょLv.63は生え易い
fact1: そのぽちょぽくLv.85はあくどいならば「あのみねみにょLv.63は誘えないしその上それはあくどくない」ということは偽だ fact2: 「そのぽちょぽくLv.85はあくどくて加えて生え易い」ということは事実と異なればあのみねみにょLv.63は生え易くない fact3: 仮に「そのぽちょぽくLv.85はあくどくないしまたそれはわりなくない」ということは成り立たないとするとそれは誘える fact4: そのぽちょぽくLv.85はわりないしさらにあくどい fact5: もし「あのみねみにょLv.63は誘えなくてあくどくない」ということは成り立たないとするとあのみねみにょLv.63は生え易い
fact4 -> int1: そのぽちょぽくLv.85はあくどい; int1 & fact1 -> int2: 「「あのみねみにょLv.63は誘えるということはなくてさらにあくどくない」ということは偽である」ということは成り立つ; int2 & fact5 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: ¬(¬{C}{b} & ¬{B}{b}); int2 & fact5 -> hypothesis;
あのみねみにょLv.63は生え易くない
$facts$ = fact1: そのぽちょぽくLv.85はあくどいならば「あのみねみにょLv.63は誘えないしその上それはあくどくない」ということは偽だ fact2: 「そのぽちょぽくLv.85はあくどくて加えて生え易い」ということは事実と異なればあのみねみにょLv.63は生え易くない fact3: 仮に「そのぽちょぽくLv.85はあくどくないしまたそれはわりなくない」ということは成り立たないとするとそれは誘える fact4: そのぽちょぽくLv.85はわりないしさらにあくどい fact5: もし「あのみねみにょLv.63は誘えなくてあくどくない」ということは成り立たないとするとあのみねみにょLv.63は生え易い ; $hypothesis$ = あのみねみにょLv.63は生え易い ; $proof$ = 
fact4 -> int1: そのぽちょぽくLv.85はあくどい; int1 & fact1 -> int2: 「「あのみねみにょLv.63は誘えるということはなくてさらにあくどくない」ということは偽である」ということは成り立つ; int2 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: ¬(¬{C}{b} & ¬{B}{b}); int2 & fact5 -> hypothesis; __PROVED__