あの外国語パンフレットはちっちゃくない
fact1: もし何かは川港だとするとちっちゃい fact2: もし仮になんらかのものが営み得るしその上それが太り難いとしたらそれは人らしくない fact3: この蒸気力は真似しない fact4: 「あのマウンテンはちっちゃい」ということは成り立つ fact5: 仮になにがしかの物が真似しないとすればそれは誤解し易いかもしくはそれは営み得る fact6: 「何かは談笑しなくて更に米国軍でない」ということは成り立たないとすると「それは談笑する」ということは正しい fact7: 仮に「あの外国語パンフレットが来年だけど代行給付でない」ということは誤りであるとしたら来年でない fact8: 仮にこの蒸気力が誤解し易いならあの商品的価値は営み得る fact9: あの外国語パンフレットは川港であるし荒い fact10: もしもなんらかのものは人らしくないならば「「それは談笑しなくて加えて米国軍でない」ということは偽でない」ということは偽である fact11: もし仮にあの商品的価値は営み得るなら「あの外国語パンフレットは営み得る」ということは真実である fact12: 「あの外国語パンフレットは刮げ落とすしさらに形成し易い」ということは成り立つ fact13: もし何らかのものは吸引しないならば「川港であるしさらにちっちゃくない」ということは成り立たない fact14: 「なにがしかの物はちっちゃくて荒い」ということは真実でないとするとそれはちっちゃくない fact15: 何らかの物が薙ぐとすれば太り難い fact16: もし仮にあの外国語パンフレットは来年であるということはないとするとそれは薙ぐ fact17: あの外国語パンフレットは荒い fact18: 「談笑する」ものはあるなら「この老人医療費は吸引しない」ということは成り立つ fact19: もし「何かは川港だけれどちっちゃいということはない」ということは成り立たないならばそれは荒い fact20: 「あの外国語パンフレットは来年だけれどそれは代行給付でない」ということは成り立たない fact21: もし仮にこの蒸気力が営み得るとすればあの商品的価値は営み得る
fact9 -> int1: 「あの外国語パンフレットは川港である」ということは成り立つ; fact1 -> int2: 「あの外国語パンフレットが川港だとしたらあの外国語パンフレットはちっちゃい」ということは確かだ; int1 & int2 -> hypothesis;
fact9 -> int1: {A}{a}; fact1 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
この老人医療費は荒い
fact31 -> int3: もし仮に「この老人医療費は川港である一方でちっちゃくない」ということは成り立たないとするとそれは荒い; fact28 -> int4: この老人医療費は吸引しないとしたら「それは川港であるし加えてちっちゃくない」ということは誤っている; fact32 -> int5: 仮に「あの外国語パンフレットは談笑しなくてそれに米国軍でない」ということは事実と異なれば談笑する; fact30 -> int6: あの外国語パンフレットは人らしくないとすると「それは談笑しなくて米国軍でない」ということは正しくない; fact26 -> int7: あの外国語パンフレットは営み得るし加えて太り難いとすればそれは人らしくない; fact27 -> int8: もしもこの蒸気力が真似するということはないならば誤解し易いかあるいはそれは営み得るか両方だ; int8 & fact33 -> int9: この蒸気力は誤解し易いかそれは営み得る; int9 & fact23 & fact25 -> int10: あの商品的価値は営み得る; fact22 & int10 -> int11: 「あの外国語パンフレットは営み得る」ということは確かである; fact29 -> int12: もしもあの外国語パンフレットは薙ぐとしたら「太り難い」ということは本当だ; fact35 & fact24 -> int13: あの外国語パンフレットは来年でない; fact36 & int13 -> int14: あの外国語パンフレットは薙ぐ; int12 & int14 -> int15: あの外国語パンフレットは太り難い; int11 & int15 -> int16: あの外国語パンフレットは営み得るし太り難い; int7 & int16 -> int17: 「あの外国語パンフレットは人らしくない」ということは正しい; int6 & int17 -> int18: 「あの外国語パンフレットは談笑しないし米国軍でない」ということは誤っている; int5 & int18 -> int19: あの外国語パンフレットは談笑する; int19 -> int20: 「「談笑する」ということは正しい」ものはある; int20 & fact34 -> int21: この老人医療費は吸引しない; int4 & int21 -> int22: 「この老人医療費は川港である一方でちっちゃくない」ということは誤りである; int3 & int22 -> hypothesis;
$facts$ = fact1: もし何かは川港だとするとちっちゃい fact2: もし仮になんらかのものが営み得るしその上それが太り難いとしたらそれは人らしくない fact3: この蒸気力は真似しない fact4: 「あのマウンテンはちっちゃい」ということは成り立つ fact5: 仮になにがしかの物が真似しないとすればそれは誤解し易いかもしくはそれは営み得る fact6: 「何かは談笑しなくて更に米国軍でない」ということは成り立たないとすると「それは談笑する」ということは正しい fact7: 仮に「あの外国語パンフレットが来年だけど代行給付でない」ということは誤りであるとしたら来年でない fact8: 仮にこの蒸気力が誤解し易いならあの商品的価値は営み得る fact9: あの外国語パンフレットは川港であるし荒い fact10: もしもなんらかのものは人らしくないならば「「それは談笑しなくて加えて米国軍でない」ということは偽でない」ということは偽である fact11: もし仮にあの商品的価値は営み得るなら「あの外国語パンフレットは営み得る」ということは真実である fact12: 「あの外国語パンフレットは刮げ落とすしさらに形成し易い」ということは成り立つ fact13: もし何らかのものは吸引しないならば「川港であるしさらにちっちゃくない」ということは成り立たない fact14: 「なにがしかの物はちっちゃくて荒い」ということは真実でないとするとそれはちっちゃくない fact15: 何らかの物が薙ぐとすれば太り難い fact16: もし仮にあの外国語パンフレットは来年であるということはないとするとそれは薙ぐ fact17: あの外国語パンフレットは荒い fact18: 「談笑する」ものはあるなら「この老人医療費は吸引しない」ということは成り立つ fact19: もし「何かは川港だけれどちっちゃいということはない」ということは成り立たないならばそれは荒い fact20: 「あの外国語パンフレットは来年だけれどそれは代行給付でない」ということは成り立たない fact21: もし仮にこの蒸気力が営み得るとすればあの商品的価値は営み得る ; $hypothesis$ = あの外国語パンフレットはちっちゃくない ; $proof$ = 
fact9 -> int1: 「あの外国語パンフレットは川港である」ということは成り立つ; fact1 -> int2: 「あの外国語パンフレットが川港だとしたらあの外国語パンフレットはちっちゃい」ということは確かだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし何かは川港だとするとちっちゃい
事実2: もし仮になんらかのものが営み得るしその上それが太り難いとしたらそれは人らしくない
事実3: この蒸気力は真似しない
事実4: 「あのマウンテンはちっちゃい」ということは成り立つ
事実5: 仮になにがしかの物が真似しないとすればそれは誤解し易いかもしくはそれは営み得る
事実6: 「何かは談笑しなくて更に米国軍でない」ということは成り立たないとすると「それは談笑する」ということは正しい
事実7: 仮に「あの外国語パンフレットが来年だけど代行給付でない」ということは誤りであるとしたら来年でない
事実8: 仮にこの蒸気力が誤解し易いならあの商品的価値は営み得る
事実9: あの外国語パンフレットは川港であるし荒い
事実10: もしもなんらかのものは人らしくないならば「「それは談笑しなくて加えて米国軍でない」ということは偽でない」ということは偽である
事実11: もし仮にあの商品的価値は営み得るなら「あの外国語パンフレットは営み得る」ということは真実である
事実12: 「あの外国語パンフレットは刮げ落とすしさらに形成し易い」ということは成り立つ
事実13: もし何らかのものは吸引しないならば「川港であるしさらにちっちゃくない」ということは成り立たない
事実14: 「なにがしかの物はちっちゃくて荒い」ということは真実でないとするとそれはちっちゃくない
事実15: 何らかの物が薙ぐとすれば太り難い
事実16: もし仮にあの外国語パンフレットは来年であるということはないとするとそれは薙ぐ
事実17: あの外国語パンフレットは荒い
事実18: 「談笑する」ものはあるなら「この老人医療費は吸引しない」ということは成り立つ
事実19: もし「何かは川港だけれどちっちゃいということはない」ということは成り立たないならばそれは荒い
事実20: 「あの外国語パンフレットは来年だけれどそれは代行給付でない」ということは成り立たない
事実21: もし仮にこの蒸気力が営み得るとすればあの商品的価値は営み得る

仮説: あの外国語パンフレットはちっちゃくない
1. 事実9から、推論1: "「あの外国語パンフレットは川港である」ということは成り立つ"が導かれる
2. 事実1から、推論2: "「あの外国語パンフレットが川港だとしたらあの外国語パンフレットはちっちゃい」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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