「この諸規制は経ち上げるか社会的排除だ」ということは成り立たない
fact1: 「「取り出し易くなくて受電しない」ということは成り立たない」物はある fact2: もしもなんらかのものが受電すればこのセルＣは財務諸表作成である fact3: 何らかのものは取り出し易くないし加えて受電するということはない fact4: もしも「「取り出し易くないしさらに受電しない」ということは偽である」ものがあるとするとこのセルＣは財務諸表作成である fact5: その武器以外はぶつけ合うかあるいはそれはパーツ交換であるかあるいは両方だ fact6: このセルＣが財務諸表作成だとするとこの諸規制はぶつけ合わないがそれは把握し難い fact7: もし「ナッツである」物はあるとすると「このセルＣは経ち上げるということはない一方で素人っぽい」ということは成り立たない fact8: なんらかのものが素人っぽいならばそれは把握し難くない fact9: もしもこの腫瘤部は把握し難いということはないとしたら「このセルＣは財務諸表作成であるしかつぶつけ合う」ということは成り立たない fact10: この諸規制はナッツであるしぱちくりする fact11: 仮にとあるものは財務諸表作成でないとすれば「経ち上げるかもしくはそれは社会的排除だ」ということは成り立たない fact12: もし仮に「なにがしかの物は経ち上げるということはないが素人っぽい」ということは誤りだとすればそれは把握し難い fact13: このセルＣはぶつけ合う fact14: この諸規制は把握し難い fact15: 「「取り出し易いが受電しない」ということは成り立たない」ものはある fact16: 「「取り出し易くないしそれに受電する」ということは誤っている」物はある fact17: もしなにがしかの物はぶつけ合うということはないがしかし把握し難いとすればそれは経ち上げる fact18: もし仮に「このセルＣはぶつけ合うしかつ把握し難い」ということは成り立つとすればこのウィアード・テールズはぶつけ合わない fact19: 仮にこの腫瘤部がナッツだとしたらそれは素人っぽい fact20: もしもこの腫瘤部がぱちくりするならナッツである fact21: もし仮にこのセルＣが財務諸表作成であるならばあの諸規制は把握し難い
fact1 & fact4 -> int1: このセルＣは財務諸表作成である; int1 & fact6 -> int2: この諸規制はぶつけ合わないがしかし把握し難い; fact17 -> int3: もし仮にこの諸規制はぶつけ合わない一方で把握し難いとすれば経ち上げる; int2 & int3 -> int4: この諸規制は経ち上げる; int4 -> hypothesis;
このウィアード・テールズは社会的排除である
fact26 -> int5: もし仮に「このセルＣは経ち上げるということはない一方で素人っぽい」ということは本当でないならそれは把握し難い; fact24 -> int6: この諸規制はナッツである; int6 -> int7: とある物はナッツである; int7 & fact23 -> int8: 「「このセルＣは経ち上げないがしかしそれは素人っぽい」ということは確かだ」ということは間違っている; int5 & int8 -> int9: このセルＣは把握し難い; fact25 & int9 -> int10: このセルＣはぶつけ合うし把握し難い; fact22 & int10 -> int11: このウィアード・テールズはぶつけ合わない;
$facts$ = fact1: 「「取り出し易くなくて受電しない」ということは成り立たない」物はある fact2: もしもなんらかのものが受電すればこのセルＣは財務諸表作成である fact3: 何らかのものは取り出し易くないし加えて受電するということはない fact4: もしも「「取り出し易くないしさらに受電しない」ということは偽である」ものがあるとするとこのセルＣは財務諸表作成である fact5: その武器以外はぶつけ合うかあるいはそれはパーツ交換であるかあるいは両方だ fact6: このセルＣが財務諸表作成だとするとこの諸規制はぶつけ合わないがそれは把握し難い fact7: もし「ナッツである」物はあるとすると「このセルＣは経ち上げるということはない一方で素人っぽい」ということは成り立たない fact8: なんらかのものが素人っぽいならばそれは把握し難くない fact9: もしもこの腫瘤部は把握し難いということはないとしたら「このセルＣは財務諸表作成であるしかつぶつけ合う」ということは成り立たない fact10: この諸規制はナッツであるしぱちくりする fact11: 仮にとあるものは財務諸表作成でないとすれば「経ち上げるかもしくはそれは社会的排除だ」ということは成り立たない fact12: もし仮に「なにがしかの物は経ち上げるということはないが素人っぽい」ということは誤りだとすればそれは把握し難い fact13: このセルＣはぶつけ合う fact14: この諸規制は把握し難い fact15: 「「取り出し易いが受電しない」ということは成り立たない」ものはある fact16: 「「取り出し易くないしそれに受電する」ということは誤っている」物はある fact17: もしなにがしかの物はぶつけ合うということはないがしかし把握し難いとすればそれは経ち上げる fact18: もし仮に「このセルＣはぶつけ合うしかつ把握し難い」ということは成り立つとすればこのウィアード・テールズはぶつけ合わない fact19: 仮にこの腫瘤部がナッツだとしたらそれは素人っぽい fact20: もしもこの腫瘤部がぱちくりするならナッツである fact21: もし仮にこのセルＣが財務諸表作成であるならばあの諸規制は把握し難い ; $hypothesis$ = 「この諸規制は経ち上げるか社会的排除だ」ということは成り立たない ; $proof$ = 
fact1 & fact4 -> int1: このセルＣは財務諸表作成である; int1 & fact6 -> int2: この諸規制はぶつけ合わないがしかし把握し難い; fact17 -> int3: もし仮にこの諸規制はぶつけ合わない一方で把握し難いとすれば経ち上げる; int2 & int3 -> int4: この諸規制は経ち上げる; int4 -> hypothesis; __DISPROVED__
事実1: 「「取り出し易くなくて受電しない」ということは成り立たない」物はある
事実2: もしもなんらかのものが受電すればこのセルＣは財務諸表作成である
事実3: 何らかのものは取り出し易くないし加えて受電するということはない
事実4: もしも「「取り出し易くないしさらに受電しない」ということは偽である」ものがあるとするとこのセルＣは財務諸表作成である
事実5: その武器以外はぶつけ合うかあるいはそれはパーツ交換であるかあるいは両方だ
事実6: このセルＣが財務諸表作成だとするとこの諸規制はぶつけ合わないがそれは把握し難い
事実7: もし「ナッツである」物はあるとすると「このセルＣは経ち上げるということはない一方で素人っぽい」ということは成り立たない
事実8: なんらかのものが素人っぽいならばそれは把握し難くない
事実9: もしもこの腫瘤部は把握し難いということはないとしたら「このセルＣは財務諸表作成であるしかつぶつけ合う」ということは成り立たない
事実10: この諸規制はナッツであるしぱちくりする
事実11: 仮にとあるものは財務諸表作成でないとすれば「経ち上げるかもしくはそれは社会的排除だ」ということは成り立たない
事実12: もし仮に「なにがしかの物は経ち上げるということはないが素人っぽい」ということは誤りだとすればそれは把握し難い
事実13: このセルＣはぶつけ合う
事実14: この諸規制は把握し難い
事実15: 「「取り出し易いが受電しない」ということは成り立たない」ものはある
事実16: 「「取り出し易くないしそれに受電する」ということは誤っている」物はある
事実17: もしなにがしかの物はぶつけ合うということはないがしかし把握し難いとすればそれは経ち上げる
事実18: もし仮に「このセルＣはぶつけ合うしかつ把握し難い」ということは成り立つとすればこのウィアード・テールズはぶつけ合わない
事実19: 仮にこの腫瘤部がナッツだとしたらそれは素人っぽい
事実20: もしもこの腫瘤部がぱちくりするならナッツである
事実21: もし仮にこのセルＣが財務諸表作成であるならばあの諸規制は把握し難い

仮説: 「この諸規制は経ち上げるか社会的排除だ」ということは成り立たない
1. 事実1と事実4から、推論1: "このセルＣは財務諸表作成である"が導かれる
2. 推論1と事実6から、推論2: "この諸規制はぶつけ合わないがしかし把握し難い"が導かれる
3. 事実17から、推論3: "もし仮にこの諸規制はぶつけ合わない一方で把握し難いとすれば経ち上げる"が導かれる
4. 推論2と推論3から、推論4: "この諸規制は経ち上げる"が導かれる
5. 推論4から、仮説が否定される

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