赤しということが生じる
fact1: 旨しということが起きる fact2: ぴのぴよLv.68事件が発生する fact3: 柔いということが生じるということは赤しということは生じないということを回避する fact4: 「増え難いということは「馬鹿でかいということは起きない」ということを防ぐ」ということは真実だ fact5: 増え難いということが生じる fact6: 「馬鹿でかいということが起きる」ということは「柔いということは起きない」ということを阻止する
fact4 & fact5 -> int1: 馬鹿でかいということが生じる; int1 & fact6 -> int2: 「柔いということが起きる」ということは成り立つ; int2 & fact3 -> hypothesis;
fact4 & fact5 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 旨しということが起きる fact2: ぴのぴよLv.68事件が発生する fact3: 柔いということが生じるということは赤しということは生じないということを回避する fact4: 「増え難いということは「馬鹿でかいということは起きない」ということを防ぐ」ということは真実だ fact5: 増え難いということが生じる fact6: 「馬鹿でかいということが起きる」ということは「柔いということは起きない」ということを阻止する ; $hypothesis$ = 赤しということが生じる ; $proof$ = 
fact4 & fact5 -> int1: 馬鹿でかいということが生じる; int1 & fact6 -> int2: 「柔いということが起きる」ということは成り立つ; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__