むず痒いということは起きない
fact1: もしぽのぽにょLv.66事件は生じないとしたら愛らしいということが生じるしそれにむず痒いということが起こる fact2: むず痒いということは愛らしいということかあるいはくどいということかまたは両方ともに阻止される fact3: 「ぽのぽにょLv.66事件が起きる」ということは成り立つ fact4: 愛らしいということが発生するしぽのぽにょLv.66事件が起こる
fact4 -> int1: 愛らしいということが起きる; int1 -> int2: 愛らしいということが発生するかくどいということは発生するか両方だ; int2 & fact2 -> hypothesis;
fact4 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact2 -> hypothesis;
むず痒いということが起こる
$facts$ = fact1: もしぽのぽにょLv.66事件は生じないとしたら愛らしいということが生じるしそれにむず痒いということが起こる fact2: むず痒いということは愛らしいということかあるいはくどいということかまたは両方ともに阻止される fact3: 「ぽのぽにょLv.66事件が起きる」ということは成り立つ fact4: 愛らしいということが発生するしぽのぽにょLv.66事件が起こる ; $hypothesis$ = むず痒いということは起きない ; $proof$ = 
fact4 -> int1: 愛らしいということが起きる; int1 -> int2: 愛らしいということが発生するかくどいということは発生するか両方だ; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact2 -> hypothesis; __PROVED__