化学変化することは発生しない
fact1: 妬ましいということが発生する fact2: 化学変化することが発生するということは冷え易いということが生じるということにより生じる fact3: 太り難いということが起きる fact4: 「涙ぐましいということは発生しない」ということは間近いということに防がれる fact5: 「冷え易いということは起こらない」ということは馴れ馴れしいということに阻まれる fact6: 太り難いということは馴れ馴れしいということを誘発する fact7: 断り難いということが生じる fact8: ぽにぽのLv.8事件が起きる
fact6 & fact3 -> int1: 馴れ馴れしいということが起こる; int1 & fact5 -> int2: 「冷え易いということが起こる」ということは確かだ; int2 & fact2 -> hypothesis;
fact6 & fact3 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 妬ましいということが発生する fact2: 化学変化することが発生するということは冷え易いということが生じるということにより生じる fact3: 太り難いということが起きる fact4: 「涙ぐましいということは発生しない」ということは間近いということに防がれる fact5: 「冷え易いということは起こらない」ということは馴れ馴れしいということに阻まれる fact6: 太り難いということは馴れ馴れしいということを誘発する fact7: 断り難いということが生じる fact8: ぽにぽのLv.8事件が起きる ; $hypothesis$ = 化学変化することは発生しない ; $proof$ = 
fact6 & fact3 -> int1: 馴れ馴れしいということが起こる; int1 & fact5 -> int2: 「冷え易いということが起こる」ということは確かだ; int2 & fact2 -> hypothesis; __DISPROVED__
fact6 & fact3 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact2 -> hypothesis; __DISPROVED__