「そのもよもちゅLv.40は戦慄すらない一方で目敏い」ということは成り立たない
fact1: もし仮にそのもよもちゅLv.40は失明するなら「戦慄すししかも目敏い」ということは誤りである fact2: 「そのもよもちゅLv.40は小難しくてか弱い」ということは成り立つ fact3: 仮にそのまいまやLv.61は小難しいとすれば「そのもくもちょLv.17は戦慄す」ということは事実である fact4: もし仮にこのぽちょぽくLv.72は募るなら「このぽちょぽくLv.72は物凄ーくない一方でそれは小難しい」ということは誤っている fact5: もしもそのもよもちゅLv.40は失明するとすると「そのもよもちゅLv.40は戦慄すらない一方で目敏い」ということは間違っている fact6: 「そのもよもちゅLv.40はか弱い」ということは成り立つ fact7: 仮にそのもよもちゅLv.40は小難しいとすれば「そのもよもちゅLv.40は失明する」ということは真実である
fact2 -> int1: そのもよもちゅLv.40は小難しい; int1 & fact7 -> int2: そのもよもちゅLv.40は失明する; int2 & fact5 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
そのもくもちょLv.17は戦慄すしさらにそれは生き辛い
$facts$ = fact1: もし仮にそのもよもちゅLv.40は失明するなら「戦慄すししかも目敏い」ということは誤りである fact2: 「そのもよもちゅLv.40は小難しくてか弱い」ということは成り立つ fact3: 仮にそのまいまやLv.61は小難しいとすれば「そのもくもちょLv.17は戦慄す」ということは事実である fact4: もし仮にこのぽちょぽくLv.72は募るなら「このぽちょぽくLv.72は物凄ーくない一方でそれは小難しい」ということは誤っている fact5: もしもそのもよもちゅLv.40は失明するとすると「そのもよもちゅLv.40は戦慄すらない一方で目敏い」ということは間違っている fact6: 「そのもよもちゅLv.40はか弱い」ということは成り立つ fact7: 仮にそのもよもちゅLv.40は小難しいとすれば「そのもよもちゅLv.40は失明する」ということは真実である ; $hypothesis$ = 「そのもよもちゅLv.40は戦慄すらない一方で目敏い」ということは成り立たない ; $proof$ = 
fact2 -> int1: そのもよもちゅLv.40は小難しい; int1 & fact7 -> int2: そのもよもちゅLv.40は失明する; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __PROVED__