「この鏡面反射は極まり悪くないしまた癌化しない」ということは成り立たない
fact1: 「あのコンシューマーは癌化する」ということは成り立つ fact2: 仮にあの準拠枠が癌化するならこの鏡面反射は極まり悪くない fact3: もしなんらかの物がサーチするとするとそれはデジタル化するけれど訳無くない fact4: もし仮にある物がデジタル化するなら忍ぶ fact5: 「「サーチするししかも訳無い」ということは誤りな」ものはある fact6: もしあの準拠枠が極まり悪いとしたらこの鏡面反射は忍ばないししかも極まり悪くない fact7: 訳無くないものはデジタル化するし極まり悪い fact8: あの準拠枠は忍ぶ fact9: 「この鏡面反射は極まり悪くない」ということは正しい fact10: もしもあの準拠枠が癌化するとしたらこの鏡面反射は極まり悪くないしそれは癌化しない fact11: あの準拠枠は癌化するしまた忍ぶ fact12: 何かはデジタル化するがしかしそれが訳無いということはないならそれは忍ばない fact13: このクルリ棒は高速回転するしそれに完敗する fact14: 何らかのものは忍ばないとすれば「それは極まり悪くないし更に癌化しない」ということは成り立たない
fact11 -> int1: あの準拠枠は癌化する; int1 & fact10 -> hypothesis;
「この鏡面反射は極まり悪くなくておまけに癌化しない」ということは偽である
fact16 -> int2: 仮にこの鏡面反射は忍ばないとしたら「極まり悪くないしそれに癌化しない」ということは成り立たない; fact15 -> int3: もしもこの鏡面反射がデジタル化するけどそれは訳無くないとしたら「それは忍ばない」ということは成り立つ; fact17 -> int4: もしこの鏡面反射はサーチするとしたら「それはデジタル化するけれど訳無いということはない」ということは事実である;
$facts$ = fact1: 「あのコンシューマーは癌化する」ということは成り立つ fact2: 仮にあの準拠枠が癌化するならこの鏡面反射は極まり悪くない fact3: もしなんらかの物がサーチするとするとそれはデジタル化するけれど訳無くない fact4: もし仮にある物がデジタル化するなら忍ぶ fact5: 「「サーチするししかも訳無い」ということは誤りな」ものはある fact6: もしあの準拠枠が極まり悪いとしたらこの鏡面反射は忍ばないししかも極まり悪くない fact7: 訳無くないものはデジタル化するし極まり悪い fact8: あの準拠枠は忍ぶ fact9: 「この鏡面反射は極まり悪くない」ということは正しい fact10: もしもあの準拠枠が癌化するとしたらこの鏡面反射は極まり悪くないしそれは癌化しない fact11: あの準拠枠は癌化するしまた忍ぶ fact12: 何かはデジタル化するがしかしそれが訳無いということはないならそれは忍ばない fact13: このクルリ棒は高速回転するしそれに完敗する fact14: 何らかのものは忍ばないとすれば「それは極まり悪くないし更に癌化しない」ということは成り立たない ; $hypothesis$ = 「この鏡面反射は極まり悪くないしまた癌化しない」ということは成り立たない ; $proof$ = 
fact11 -> int1: あの準拠枠は癌化する; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 「あのコンシューマーは癌化する」ということは成り立つ
事実2: 仮にあの準拠枠が癌化するならこの鏡面反射は極まり悪くない
事実3: もしなんらかの物がサーチするとするとそれはデジタル化するけれど訳無くない
事実4: もし仮にある物がデジタル化するなら忍ぶ
事実5: 「「サーチするししかも訳無い」ということは誤りな」ものはある
事実6: もしあの準拠枠が極まり悪いとしたらこの鏡面反射は忍ばないししかも極まり悪くない
事実7: 訳無くないものはデジタル化するし極まり悪い
事実8: あの準拠枠は忍ぶ
事実9: 「この鏡面反射は極まり悪くない」ということは正しい
事実10: もしもあの準拠枠が癌化するとしたらこの鏡面反射は極まり悪くないしそれは癌化しない
事実11: あの準拠枠は癌化するしまた忍ぶ
事実12: 何かはデジタル化するがしかしそれが訳無いということはないならそれは忍ばない
事実13: このクルリ棒は高速回転するしそれに完敗する
事実14: 何らかのものは忍ばないとすれば「それは極まり悪くないし更に癌化しない」ということは成り立たない

仮説: 「この鏡面反射は極まり悪くないしまた癌化しない」ということは成り立たない
1. 事実11から、推論1: "あの準拠枠は癌化する"が導かれる
2. 推論1と事実10から、仮説が否定される

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