「嫉妬深いということが起きる」ということは事実と異なるということはない
fact1: 仕方無いということは発生しないならば可笑しということは起こらないしぴのぴにLv.16事件は生じない fact2: 面白おかしいということはまちゅまちゃLv.29事件は発生しないということを防ぐ fact3: 「可笑しということは起こらないしおまけにぴのぴにLv.16事件は起きない」ということは尤もらしいということを誘発する fact4: まやまいLv.86事件は生じない fact5: 尤もらしいということが生じるということは「嫉妬深いということは起きない」ということを阻止する fact6: まちゅまやLv.93事件が「みえみゆLv.5事件は起きないしさらに考え難いということは起きない」ということは契機だ fact7: 「みちゃみちゅLv.29事件が生じない一方でいじらしいということは発生する」ということは尤もらしいということは起きないということをもたらす fact8: 仕方無いということは生じない
fact1 & fact8 -> int1: 可笑しということは起こらないしまたぴのぴにLv.16事件は生じない; int1 & fact3 -> int2: 尤もらしいということが生じる; int2 & fact5 -> hypothesis;
fact1 & fact8 -> int1: (¬{AA} & ¬{AB}); int1 & fact3 -> int2: {B}; int2 & fact5 -> hypothesis;
嫉妬深いということは起こらない
$facts$ = fact1: 仕方無いということは発生しないならば可笑しということは起こらないしぴのぴにLv.16事件は生じない fact2: 面白おかしいということはまちゅまちゃLv.29事件は発生しないということを防ぐ fact3: 「可笑しということは起こらないしおまけにぴのぴにLv.16事件は起きない」ということは尤もらしいということを誘発する fact4: まやまいLv.86事件は生じない fact5: 尤もらしいということが生じるということは「嫉妬深いということは起きない」ということを阻止する fact6: まちゅまやLv.93事件が「みえみゆLv.5事件は起きないしさらに考え難いということは起きない」ということは契機だ fact7: 「みちゃみちゅLv.29事件が生じない一方でいじらしいということは発生する」ということは尤もらしいということは起きないということをもたらす fact8: 仕方無いということは生じない ; $hypothesis$ = 「嫉妬深いということが起きる」ということは事実と異なるということはない ; $proof$ = 
fact1 & fact8 -> int1: 可笑しということは起こらないしまたぴのぴにLv.16事件は生じない; int1 & fact3 -> int2: 尤もらしいということが生じる; int2 & fact5 -> hypothesis; __PROVED__
fact1 & fact8 -> int1: (¬{AA} & ¬{AB}); int1 & fact3 -> int2: {B}; int2 & fact5 -> hypothesis; __PROVED__