私らしいということは起きなくて態とらしいということは生じない
fact1: 「私らしいということが起こるけど態とらしいということは発生しない」ということは成り立たない fact2: もしも付け置くことが起きるしかつ宜しいということが起きるとしたらぴわぴよLv.13事件は起こらない fact3: 「私らしいということは起きないがしかし態とらしいということが起きる」ということは成り立たない fact4: もしもぴわぴよLv.13事件は発生しないならば「「私らしいということが発生するし態とらしいということは生じない」ということは嘘である」ということは成り立つ fact5: ぴわぴよLv.13事件は起きないとしたら「私らしいということではなく態とらしいということが生じる」ということは成り立たない fact6: 「付け置くことが起こる」ということは成り立つ fact7: 仮にぴわぴよLv.13事件は生じないとすると「私らしいということは起こらなくて態とらしいということは起きない」ということは成り立つということはない fact8: 宜しいということが生じる
fact6 & fact8 -> int1: 付け置くことと宜しいということ両方ともが起きる; int1 & fact2 -> int2: ぴわぴよLv.13事件は生じない; int2 & fact7 -> hypothesis;
fact6 & fact8 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact7 -> hypothesis;
$facts$ = fact1: 「私らしいということが起こるけど態とらしいということは発生しない」ということは成り立たない fact2: もしも付け置くことが起きるしかつ宜しいということが起きるとしたらぴわぴよLv.13事件は起こらない fact3: 「私らしいということは起きないがしかし態とらしいということが起きる」ということは成り立たない fact4: もしもぴわぴよLv.13事件は発生しないならば「「私らしいということが発生するし態とらしいということは生じない」ということは嘘である」ということは成り立つ fact5: ぴわぴよLv.13事件は起きないとしたら「私らしいということではなく態とらしいということが生じる」ということは成り立たない fact6: 「付け置くことが起こる」ということは成り立つ fact7: 仮にぴわぴよLv.13事件は生じないとすると「私らしいということは起こらなくて態とらしいということは起きない」ということは成り立つということはない fact8: 宜しいということが生じる ; $hypothesis$ = 私らしいということは起きなくて態とらしいということは生じない ; $proof$ = 
fact6 & fact8 -> int1: 付け置くことと宜しいということ両方ともが起きる; int1 & fact2 -> int2: ぴわぴよLv.13事件は生じない; int2 & fact7 -> hypothesis; __DISPROVED__
fact6 & fact8 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact7 -> hypothesis; __DISPROVED__