「もしも罪深いかまたは増さないかまたは両方だとすれば嘘っぽくない」モンスターはいる
fact1: 「広がり難いとしたら太くない」モンスターはいる fact2: 「もしも力無いかもしくは教育すらないかまたはどちらもなら信仰深い」モンスターはいる fact3: そのもちょもなLv.98が罪深いならば嘘っぽくない fact4: もし仮になにがしかのモンスターが動揺し易いかあるいは嘘っぽくないならそれは父親らしくない fact5: そのもちょもなLv.98が罪深いかそれが増さないかあるいはどちらもであるとするとそのもちょもなLv.98は嘘っぽいということはない
fact5 -> hypothesis;
fact5 -> hypothesis;
もしそのもちょもなLv.98が動揺し易いかまたはそれは嘘っぽくないかもしくはどちらもだとしたら父親らしいということはない
fact6 -> hypothesis;
$facts$ = fact1: 「広がり難いとしたら太くない」モンスターはいる fact2: 「もしも力無いかもしくは教育すらないかまたはどちらもなら信仰深い」モンスターはいる fact3: そのもちょもなLv.98が罪深いならば嘘っぽくない fact4: もし仮になにがしかのモンスターが動揺し易いかあるいは嘘っぽくないならそれは父親らしくない fact5: そのもちょもなLv.98が罪深いかそれが増さないかあるいはどちらもであるとするとそのもちょもなLv.98は嘘っぽいということはない ; $hypothesis$ = 「もしも罪深いかまたは増さないかまたは両方だとすれば嘘っぽくない」モンスターはいる ; $proof$ = 
fact5 -> hypothesis; __PROVED__
fact5 -> hypothesis; __PROVED__