読み難いということが起きる
fact1: 「「丸っこいということが起こる一方でぷわぷちゅLv.82事件は起きない」ということは正しい」ということは「もちゅものLv.96事件は起こらない」ということの原因となる fact2: プロらしいということは起きない fact3: もし仮に余所余所しいということは発生しないとすればまねまわLv.93事件は起こらないしその上印象深いということは生じない fact4: もし余所余所しいということが生じるとすれば丸っこいということが起きるしぷわぷちゅLv.82事件は起きない fact5: けばけばしいということは「細かいということは起きない」ということを招く fact6: まねまわLv.93事件が発生するしそれに余所余所しいということが起きる fact7: もしももちゅものLv.96事件は発生しないかまたは冷め難いということは起こらないかどちらもであるとしたら読み難いということが起きる
fact6 -> int1: 余所余所しいということが生じる; int1 & fact4 -> int2: 丸っこいということが起こるがぷわぷちゅLv.82事件は起こらない; int2 & fact1 -> int3: 「もちゅものLv.96事件は起きない」ということは成り立つ; int3 -> int4: もちゅものLv.96事件は生じないか冷め難いということは起こらないかもしくはどちらもだ; int4 & fact7 -> hypothesis;
fact6 -> int1: {B}; int1 & fact4 -> int2: ({D} & ¬{C}); int2 & fact1 -> int3: ¬{E}; int3 -> int4: (¬{E} v ¬{F}); int4 & fact7 -> hypothesis;
印象深いということは起きない
$facts$ = fact1: 「「丸っこいということが起こる一方でぷわぷちゅLv.82事件は起きない」ということは正しい」ということは「もちゅものLv.96事件は起こらない」ということの原因となる fact2: プロらしいということは起きない fact3: もし仮に余所余所しいということは発生しないとすればまねまわLv.93事件は起こらないしその上印象深いということは生じない fact4: もし余所余所しいということが生じるとすれば丸っこいということが起きるしぷわぷちゅLv.82事件は起きない fact5: けばけばしいということは「細かいということは起きない」ということを招く fact6: まねまわLv.93事件が発生するしそれに余所余所しいということが起きる fact7: もしももちゅものLv.96事件は発生しないかまたは冷め難いということは起こらないかどちらもであるとしたら読み難いということが起きる ; $hypothesis$ = 読み難いということが起きる ; $proof$ = 
fact6 -> int1: 余所余所しいということが生じる; int1 & fact4 -> int2: 丸っこいということが起こるがぷわぷちゅLv.82事件は起こらない; int2 & fact1 -> int3: 「もちゅものLv.96事件は起きない」ということは成り立つ; int3 -> int4: もちゅものLv.96事件は生じないか冷め難いということは起こらないかもしくはどちらもだ; int4 & fact7 -> hypothesis; __PROVED__
fact6 -> int1: {B}; int1 & fact4 -> int2: ({D} & ¬{C}); int2 & fact1 -> int3: ¬{E}; int3 -> int4: (¬{E} v ¬{F}); int4 & fact7 -> hypothesis; __PROVED__