切り裂くことは起きない
fact1: でっかいということと仰せ付かること両方が生じる fact2: 仰せ付かることは発生しないということは「切り裂くことではなくでっかいということが起こる」ということを誘発する fact3: 「切り裂くことは生じない」ということは仰せ付かることに阻止される
fact1 -> int1: 「仰せ付かることが起こる」ということは成り立つ; int1 & fact3 -> hypothesis;
fact1 -> int1: {B}; int1 & fact3 -> hypothesis;
切り裂くことは起きない
$facts$ = fact1: でっかいということと仰せ付かること両方が生じる fact2: 仰せ付かることは発生しないということは「切り裂くことではなくでっかいということが起こる」ということを誘発する fact3: 「切り裂くことは生じない」ということは仰せ付かることに阻止される ; $hypothesis$ = 切り裂くことは起きない ; $proof$ = 
fact1 -> int1: 「仰せ付かることが起こる」ということは成り立つ; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__