「このＡ四サイズはモジュール名であるがそれはマトリカリアでない」ということは成り立たない
fact1: 仮にあの景気が漏れるけど交感しないとしたらこの六郡は仄白くない fact2: もしも分娩後は武辺城でないとすれば「それは被験者毎でない」ということは事実である fact3: 被験者毎は揺れ続ける fact4: もしもその主賓はモジュール名だとすると「「このＡ四サイズはモジュール名だがマトリカリアでない」ということは成り立つ」ということは嘘である fact5: その主賓が換価するとすればそれはモジュール名である fact6: この六郡はモジュール名だ fact7: あの景気は余儀無い fact8: 仮に「この六郡は敗戦直後でなくてしかも揺れ続けない」ということは偽であるとしたらあの景気は甚だしくない fact9: もしもこの六郡が仄白くないとすれば換価しなくてそれはＯＢ臭い fact10: 仮にその需要減は被験者毎でないとしたら「この六郡は敗戦直後でなくて加えて揺れ続けるということはない」ということは成り立たない fact11: 「もし仮に「この六郡は余儀無くないかまたはそれは甚だしい」ということは成り立たないとすればあのＡ四サイズは敗戦直後でない」ということは正しい fact12: あの景気は駆け込むし加えて漏れる fact13: 「このＡ四サイズがモジュール名だしマトリカリアだ」ということは偽である fact14: その主賓はモジュール名だとすると「「このＡ四サイズはモジュール名であるしまたマトリカリアである」ということは成り立たない」ということは真実だ fact15: 「この六郡は敗戦直後である一方で揺れ続けない」ということは成り立たない fact16: 「あの景気はモジュール名でない」ということは確かである fact17: もし仮に何らかの物が揺れ続ければそれはモジュール名であるしマトリカリアでない fact18: その需要減は武辺城でない fact19: あの景気が余儀無いけど甚だしいということはないとするとその主賓は換価する fact20: もしその需要減は被験者毎でないならば「この六郡は敗戦直後でないけどそれは揺れ続ける」ということは偽である fact21: 「ある物は交感しないかあるいは逞しいかあるいは両方だ」ということは真実だ fact22: 「その需要減は分娩後だ」ということは確かだ fact23: 仮にその需要減は被験者毎でないとしたら「この六郡は敗戦直後であるけれど揺れ続けない」ということは事実と異なる fact24: 「「この六郡は敗戦直後でない一方でそれは揺れ続ける」ということは嘘だ」ということは成り立つ fact25: 仮になにがしかの物は換価しないなら「それは余儀無くないか甚だしいかあるいは両方である」ということは成り立たない
fact2 -> int1: その需要減が分娩後であるけど武辺城でないとするとそれは被験者毎でない; fact18 & fact22 -> int2: その需要減は分娩後であるけど武辺城でない; int1 & int2 -> int3: その需要減は被験者毎でない; int3 & fact10 -> int4: 「この六郡は敗戦直後でなくて揺れ続けない」ということは嘘である; int4 & fact8 -> int5: あの景気は甚だしくない; int5 & fact7 -> int6: あの景気は余儀無いがしかし甚だしくない; int6 & fact19 -> int7: その主賓は換価する; int7 & fact5 -> int8: その主賓はモジュール名だ; int8 & fact4 -> hypothesis;
このＡ四サイズはモジュール名だ一方でマトリカリアでない
fact26 -> int9: もし仮にこのＡ四サイズが被験者毎だとすれば揺れ続ける;
$facts$ = fact1: 仮にあの景気が漏れるけど交感しないとしたらこの六郡は仄白くない fact2: もしも分娩後は武辺城でないとすれば「それは被験者毎でない」ということは事実である fact3: 被験者毎は揺れ続ける fact4: もしもその主賓はモジュール名だとすると「「このＡ四サイズはモジュール名だがマトリカリアでない」ということは成り立つ」ということは嘘である fact5: その主賓が換価するとすればそれはモジュール名である fact6: この六郡はモジュール名だ fact7: あの景気は余儀無い fact8: 仮に「この六郡は敗戦直後でなくてしかも揺れ続けない」ということは偽であるとしたらあの景気は甚だしくない fact9: もしもこの六郡が仄白くないとすれば換価しなくてそれはＯＢ臭い fact10: 仮にその需要減は被験者毎でないとしたら「この六郡は敗戦直後でなくて加えて揺れ続けるということはない」ということは成り立たない fact11: 「もし仮に「この六郡は余儀無くないかまたはそれは甚だしい」ということは成り立たないとすればあのＡ四サイズは敗戦直後でない」ということは正しい fact12: あの景気は駆け込むし加えて漏れる fact13: 「このＡ四サイズがモジュール名だしマトリカリアだ」ということは偽である fact14: その主賓はモジュール名だとすると「「このＡ四サイズはモジュール名であるしまたマトリカリアである」ということは成り立たない」ということは真実だ fact15: 「この六郡は敗戦直後である一方で揺れ続けない」ということは成り立たない fact16: 「あの景気はモジュール名でない」ということは確かである fact17: もし仮に何らかの物が揺れ続ければそれはモジュール名であるしマトリカリアでない fact18: その需要減は武辺城でない fact19: あの景気が余儀無いけど甚だしいということはないとするとその主賓は換価する fact20: もしその需要減は被験者毎でないならば「この六郡は敗戦直後でないけどそれは揺れ続ける」ということは偽である fact21: 「ある物は交感しないかあるいは逞しいかあるいは両方だ」ということは真実だ fact22: 「その需要減は分娩後だ」ということは確かだ fact23: 仮にその需要減は被験者毎でないとしたら「この六郡は敗戦直後であるけれど揺れ続けない」ということは事実と異なる fact24: 「「この六郡は敗戦直後でない一方でそれは揺れ続ける」ということは嘘だ」ということは成り立つ fact25: 仮になにがしかの物は換価しないなら「それは余儀無くないか甚だしいかあるいは両方である」ということは成り立たない ; $hypothesis$ = 「このＡ四サイズはモジュール名であるがそれはマトリカリアでない」ということは成り立たない ; $proof$ = 
fact2 -> int1: その需要減が分娩後であるけど武辺城でないとするとそれは被験者毎でない; fact18 & fact22 -> int2: その需要減は分娩後であるけど武辺城でない; int1 & int2 -> int3: その需要減は被験者毎でない; int3 & fact10 -> int4: 「この六郡は敗戦直後でなくて揺れ続けない」ということは嘘である; int4 & fact8 -> int5: あの景気は甚だしくない; int5 & fact7 -> int6: あの景気は余儀無いがしかし甚だしくない; int6 & fact19 -> int7: その主賓は換価する; int7 & fact5 -> int8: その主賓はモジュール名だ; int8 & fact4 -> hypothesis; __PROVED__
事実1: 仮にあの景気が漏れるけど交感しないとしたらこの六郡は仄白くない
事実2: もしも分娩後は武辺城でないとすれば「それは被験者毎でない」ということは事実である
事実3: 被験者毎は揺れ続ける
事実4: もしもその主賓はモジュール名だとすると「「このＡ四サイズはモジュール名だがマトリカリアでない」ということは成り立つ」ということは嘘である
事実5: その主賓が換価するとすればそれはモジュール名である
事実6: この六郡はモジュール名だ
事実7: あの景気は余儀無い
事実8: 仮に「この六郡は敗戦直後でなくてしかも揺れ続けない」ということは偽であるとしたらあの景気は甚だしくない
事実9: もしもこの六郡が仄白くないとすれば換価しなくてそれはＯＢ臭い
事実10: 仮にその需要減は被験者毎でないとしたら「この六郡は敗戦直後でなくて加えて揺れ続けるということはない」ということは成り立たない
事実11: 「もし仮に「この六郡は余儀無くないかまたはそれは甚だしい」ということは成り立たないとすればあのＡ四サイズは敗戦直後でない」ということは正しい
事実12: あの景気は駆け込むし加えて漏れる
事実13: 「このＡ四サイズがモジュール名だしマトリカリアだ」ということは偽である
事実14: その主賓はモジュール名だとすると「「このＡ四サイズはモジュール名であるしまたマトリカリアである」ということは成り立たない」ということは真実だ
事実15: 「この六郡は敗戦直後である一方で揺れ続けない」ということは成り立たない
事実16: 「あの景気はモジュール名でない」ということは確かである
事実17: もし仮に何らかの物が揺れ続ければそれはモジュール名であるしマトリカリアでない
事実18: その需要減は武辺城でない
事実19: あの景気が余儀無いけど甚だしいということはないとするとその主賓は換価する
事実20: もしその需要減は被験者毎でないならば「この六郡は敗戦直後でないけどそれは揺れ続ける」ということは偽である
事実21: 「ある物は交感しないかあるいは逞しいかあるいは両方だ」ということは真実だ
事実22: 「その需要減は分娩後だ」ということは確かだ
事実23: 仮にその需要減は被験者毎でないとしたら「この六郡は敗戦直後であるけれど揺れ続けない」ということは事実と異なる
事実24: 「「この六郡は敗戦直後でない一方でそれは揺れ続ける」ということは嘘だ」ということは成り立つ
事実25: 仮になにがしかの物は換価しないなら「それは余儀無くないか甚だしいかあるいは両方である」ということは成り立たない

仮説: 「このＡ四サイズはモジュール名であるがそれはマトリカリアでない」ということは成り立たない
1. 事実2から、推論1: "その需要減が分娩後であるけど武辺城でないとするとそれは被験者毎でない"が導かれる
2. 事実18と事実22から、推論2: "その需要減は分娩後であるけど武辺城でない"が導かれる
3. 推論1と推論2から、推論3: "その需要減は被験者毎でない"が導かれる
4. 推論3と事実10から、推論4: "「この六郡は敗戦直後でなくて揺れ続けない」ということは嘘である"が導かれる
5. 推論4と事実8から、推論5: "あの景気は甚だしくない"が導かれる
6. 推論5と事実7から、推論6: "あの景気は余儀無いがしかし甚だしくない"が導かれる
7. 推論6と事実19から、推論7: "その主賓は換価する"が導かれる
8. 推論7と事実5から、推論8: "その主賓はモジュール名だ"が導かれる
9. 推論8と事実4から、仮説が導かれる

よって、仮説が証明されました。