太しということと口喧しいということが発生する
fact1: 発揮し難いということは起こらないということはぷねぷにLv.2事件に防がれる fact2: 太しということは起きないということは緩み易いということに防がれる fact3: 口喧しいということが起きる fact4: 緩いということが起きる fact5: 緩み易いということは起こらないということは緩いということが起こるということに阻まれる fact6: もし「緩いということは起きない」ということは真実であるとしたら「太しということと口喧しいということが起きる」ということは成り立たない
fact5 & fact4 -> int1: 緩み易いということが起こる; int1 & fact2 -> int2: 太しということが発生する; int2 & fact3 -> hypothesis;
fact5 & fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis;
「太しということが起きるしその上口喧しいということが生じる」ということは成り立たない
$facts$ = fact1: 発揮し難いということは起こらないということはぷねぷにLv.2事件に防がれる fact2: 太しということは起きないということは緩み易いということに防がれる fact3: 口喧しいということが起きる fact4: 緩いということが起きる fact5: 緩み易いということは起こらないということは緩いということが起こるということに阻まれる fact6: もし「緩いということは起きない」ということは真実であるとしたら「太しということと口喧しいということが起きる」ということは成り立たない ; $hypothesis$ = 太しということと口喧しいということが発生する ; $proof$ = 
fact5 & fact4 -> int1: 緩み易いということが起こる; int1 & fact2 -> int2: 太しということが発生する; int2 & fact3 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__