そのみにゃみにLv.76は似付かわしかない
fact1: もし仮にあのもにょもにょLv.68が伝え切れるかあるいはそれが香しいならそのみにゃみにLv.76は似付かわしかない fact2: あのもにょもにょLv.68は香しい fact3: 仮にあのもにょもにょLv.68が似付かわしいかあるいは伝え切れるかあるいは両方ともならばそのみにゃみにLv.76は香しくない fact4: あのもいもちょLv.3は似付かわしいということはない fact5: もしもそのまちゅまちゃLv.78は立て難くないとしたら「あのもなもわLv.41は見え難いということはないかあるいは拡大表示するか両方ともだ」ということは間違っている fact6: 仮にそのもにもえLv.60は香しくないとすれば「あのもにょもにょLv.68は伝え切れない」ということは成り立つ fact7: 仮に「あのもなもわLv.41は見え難いということはないか拡大表示するかもしくは両方だ」ということは誤りだとするとあのぷにぷちょLv.62は見え難くない
fact2 -> int1: あのもにょもにょLv.68は伝え切れるかあるいはそれは香しい; int1 & fact1 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> hypothesis;
そのみにゃみにLv.76は似付かわしい
$facts$ = fact1: もし仮にあのもにょもにょLv.68が伝え切れるかあるいはそれが香しいならそのみにゃみにLv.76は似付かわしかない fact2: あのもにょもにょLv.68は香しい fact3: 仮にあのもにょもにょLv.68が似付かわしいかあるいは伝え切れるかあるいは両方ともならばそのみにゃみにLv.76は香しくない fact4: あのもいもちょLv.3は似付かわしいということはない fact5: もしもそのまちゅまちゃLv.78は立て難くないとしたら「あのもなもわLv.41は見え難いということはないかあるいは拡大表示するか両方ともだ」ということは間違っている fact6: 仮にそのもにもえLv.60は香しくないとすれば「あのもにょもにょLv.68は伝え切れない」ということは成り立つ fact7: 仮に「あのもなもわLv.41は見え難いということはないか拡大表示するかもしくは両方だ」ということは誤りだとするとあのぷにぷちょLv.62は見え難くない ; $hypothesis$ = そのみにゃみにLv.76は似付かわしかない ; $proof$ = 
fact2 -> int1: あのもにょもにょLv.68は伝え切れるかあるいはそれは香しい; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> hypothesis; __PROVED__