人間臭いということは起こらないし加えて感慨深いということは起きない
fact1: もし仮に人間臭いということが起きるしかつ感慨深いということが生じれば苦しいということは起こらない fact2: 「揮発し易いということは起きない」ということは「苦しいということは起こらないしまた揮発し易いということは発生しない」ということのきっかけとなる fact3: 出易いということが生じる fact4: 「「苦しいということは発生しなくて揮発し易いということは起こらない」ということは真実だ」ということは人間臭いということを防ぐ fact5: 感慨深いということは起きない fact6: 仮に立て掛けることが発生するとすれば下回ることは生じないし出易いということが起きる fact7: 揮発し易いということは発生しないということは「出易いということが起こるかまたは立て掛けることが起こるかまたはどちらもだ」ということが原因だ
fact3 -> int1: 出易いということか立て掛けることが起こる; int1 & fact7 -> int2: 揮発し易いということは起こらない; int2 & fact2 -> int3: 苦しいということは起こらないしかつ揮発し易いということは発生しない; int3 & fact4 -> int4: 人間臭いということは起こらない; int4 & fact5 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact2 -> int3: (¬{D} & ¬{C}); int3 & fact4 -> int4: ¬{E}; int4 & fact5 -> hypothesis;
下回ることは生じない
$facts$ = fact1: もし仮に人間臭いということが起きるしかつ感慨深いということが生じれば苦しいということは起こらない fact2: 「揮発し易いということは起きない」ということは「苦しいということは起こらないしまた揮発し易いということは発生しない」ということのきっかけとなる fact3: 出易いということが生じる fact4: 「「苦しいということは発生しなくて揮発し易いということは起こらない」ということは真実だ」ということは人間臭いということを防ぐ fact5: 感慨深いということは起きない fact6: 仮に立て掛けることが発生するとすれば下回ることは生じないし出易いということが起きる fact7: 揮発し易いということは発生しないということは「出易いということが起こるかまたは立て掛けることが起こるかまたはどちらもだ」ということが原因だ ; $hypothesis$ = 人間臭いということは起こらないし加えて感慨深いということは起きない ; $proof$ = 
fact3 -> int1: 出易いということか立て掛けることが起こる; int1 & fact7 -> int2: 揮発し易いということは起こらない; int2 & fact2 -> int3: 苦しいということは起こらないしかつ揮発し易いということは発生しない; int3 & fact4 -> int4: 人間臭いということは起こらない; int4 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: ({A} v {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact2 -> int3: (¬{D} & ¬{C}); int3 & fact4 -> int4: ¬{E}; int4 & fact5 -> hypothesis; __PROVED__