振り見ることは生じない
fact1: 黒っぽいということが起こるということは「大人気無いということは発生しない」ということを防ぐ fact2: もしも甚だしいということは起きないならば「もにゅものLv.64事件が起きるし心地良いということが起きる」ということは成り立たない fact3: 「黒っぽいということが起こる」ということは正しい fact4: 「振り見ることは発生しない」ということは心地良いということと大人気無いということが発生するがきっかけだ fact5: 心地良いということが生じる
fact1 & fact3 -> int1: 大人気無いということが生じる; int1 & fact5 -> int2: 心地良いということおよび大人気無いということ両方が起こる; int2 & fact4 -> hypothesis;
fact1 & fact3 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
振り見ることが起こる
$facts$ = fact1: 黒っぽいということが起こるということは「大人気無いということは発生しない」ということを防ぐ fact2: もしも甚だしいということは起きないならば「もにゅものLv.64事件が起きるし心地良いということが起きる」ということは成り立たない fact3: 「黒っぽいということが起こる」ということは正しい fact4: 「振り見ることは発生しない」ということは心地良いということと大人気無いということが発生するがきっかけだ fact5: 心地良いということが生じる ; $hypothesis$ = 振り見ることは生じない ; $proof$ = 
fact1 & fact3 -> int1: 大人気無いということが生じる; int1 & fact5 -> int2: 心地良いということおよび大人気無いということ両方が起こる; int2 & fact4 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __PROVED__