けばけばしいということが起きる
fact1: 「もわものLv.49事件が起こらなくてかつもにょもわLv.6事件は生じない」ということはけばけばしいということのきっかけとなる fact2: 進学することが起きないしおまけにぴえぴゆLv.14事件は起こらない fact3: もわものLv.49事件が生じなくてさらにもにょもわLv.6事件は起きない fact4: 「もわものLv.49事件ではなくてもにょもわLv.6事件が起きる」ということはけばけばしいということは起きないということを回避する fact5: もにょもわLv.6事件は生じない fact6: もしけばけばしいということは起きないならばぽわぽえLv.47事件は発生しないし更に説明し易いということは起こらない
fact3 -> int1: もわものLv.49事件が生じなくてさらにもにょもわLv.6事件は起きない; int1 & fact1 -> hypothesis;
fact3 -> int1: (¬{AA} & ¬{AB}); int1 & fact1 -> hypothesis;
ぽわぽえLv.47事件は起きないし説明し易いということは起きない
$facts$ = fact1: 「もわものLv.49事件が起こらなくてかつもにょもわLv.6事件は生じない」ということはけばけばしいということのきっかけとなる fact2: 進学することが起きないしおまけにぴえぴゆLv.14事件は起こらない fact3: もわものLv.49事件が生じなくてさらにもにょもわLv.6事件は起きない fact4: 「もわものLv.49事件ではなくてもにょもわLv.6事件が起きる」ということはけばけばしいということは起きないということを回避する fact5: もにょもわLv.6事件は生じない fact6: もしけばけばしいということは起きないならばぽわぽえLv.47事件は発生しないし更に説明し易いということは起こらない ; $hypothesis$ = けばけばしいということが起きる ; $proof$ = 
fact3 -> int1: もわものLv.49事件が生じなくてさらにもにょもわLv.6事件は起きない; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: (¬{AA} & ¬{AB}); int1 & fact1 -> hypothesis; __PROVED__