この変異性は貧しいということはなくて加えてそれは切り捌かない
fact1: もし仮に「この変異性は近しないがしかし貧しい」ということは成り立たないならあの原子力発電は切り捌かない fact2: 「仮にこの変異性は貧しくないとすれば「この低額は切り捌かないけれどそれは貧しい」ということは誤りだ」ということは事実だ fact3: もし「あの原子力発電は置文でないが近し」ということは成り立つということはないならばこの低額は切り捌かない fact4: 「もしもあの原子力発電が切り捌くとしたらこの低額は近しということはない」ということは成り立つ fact5: 「この変異性は近しし加えて切り捌く」ということは誤っている fact6: 「あの原子力発電は置文でないがしかしそれは近し」ということは嘘だ fact7: この低額は切り捌かないなら「この変異性は貧しくないしおまけに切り捌かない」ということは成り立たない
fact3 & fact6 -> int1: この低額は切り捌かない; int1 & fact7 -> hypothesis;
fact3 & fact6 -> int1: ¬{B}{b}; int1 & fact7 -> hypothesis;
$facts$ = fact1: もし仮に「この変異性は近しないがしかし貧しい」ということは成り立たないならあの原子力発電は切り捌かない fact2: 「仮にこの変異性は貧しくないとすれば「この低額は切り捌かないけれどそれは貧しい」ということは誤りだ」ということは事実だ fact3: もし「あの原子力発電は置文でないが近し」ということは成り立つということはないならばこの低額は切り捌かない fact4: 「もしもあの原子力発電が切り捌くとしたらこの低額は近しということはない」ということは成り立つ fact5: 「この変異性は近しし加えて切り捌く」ということは誤っている fact6: 「あの原子力発電は置文でないがしかしそれは近し」ということは嘘だ fact7: この低額は切り捌かないなら「この変異性は貧しくないしおまけに切り捌かない」ということは成り立たない ; $hypothesis$ = この変異性は貧しいということはなくて加えてそれは切り捌かない ; $proof$ = 
fact3 & fact6 -> int1: この低額は切り捌かない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に「この変異性は近しないがしかし貧しい」ということは成り立たないならあの原子力発電は切り捌かない
事実2: 「仮にこの変異性は貧しくないとすれば「この低額は切り捌かないけれどそれは貧しい」ということは誤りだ」ということは事実だ
事実3: もし「あの原子力発電は置文でないが近し」ということは成り立つということはないならばこの低額は切り捌かない
事実4: 「もしもあの原子力発電が切り捌くとしたらこの低額は近しということはない」ということは成り立つ
事実5: 「この変異性は近しし加えて切り捌く」ということは誤っている
事実6: 「あの原子力発電は置文でないがしかしそれは近し」ということは嘘だ
事実7: この低額は切り捌かないなら「この変異性は貧しくないしおまけに切り捌かない」ということは成り立たない

仮説: この変異性は貧しいということはなくて加えてそれは切り捌かない
1. 事実3と事実6から、推論1: "この低額は切り捌かない"が導かれる
2. 推論1と事実7から、仮説が否定される

よって、仮説が否定されました。