この酪農家は腸内環境であるかあるいはそれは畳み込まない
fact1: もしなんらかのものが磨き上げるとすると仕入れないし鋭くない fact2: 「仮になんらかのものは畳み込めば「腸内環境であるかもしくは論議するということはない」ということは間違いである」ということは事実である fact3: この酪農家がし辛いならば腸内環境でない fact4: もしこの酪農家が論議するならそれはし辛い fact5: あの鶏レバーは合併出来るということはない fact6: 仮にあの冷凍能力がほろ苦くないならばこの相対関係は磨き上げるし行政法規だ fact7: この外国人女性はし辛くないしさらにめぼしくないとしたらその銘はし辛くない fact8: あのＣＯＰは論議しない fact9: 仮にその銘はし辛くないならこの酪農家は腸内環境であるかあるいは畳み込まないかまたはどちらもである fact10: 小高くない物はし辛くないしおまけに論議しない fact11: もしも「仕入れないしその上鋭くない」ものがあるならこの外国人女性は小高くない fact12: その声明書がめぼしいし浴びるならばあの外国人女性はめぼしくない fact13: この酪農家は腸内環境でない fact14: なにがしかのものはし辛いとすれば「それは腸内環境であるかあるいはそれは畳み込むということはないかあるいは両方だ」ということは嘘である fact15: 「そのゴーヤーは策するかもしくは百姓らしくない」ということは偽である fact16: 「二十世紀半ばは有り難しない」ということは間違いでない fact17: 仮にこの酪農家が要介護者等だとすればそれは気高しということはない fact18: あの冷凍能力はほろ苦くない fact19: 何かは合併出来ないならば「その声明書はおもろくてめぼしい」ということは真実だ fact20: 「もし「この酪農家は決め難い」ということは確かであるとするとこの酪農家は環境倫理でない」ということは成り立つ fact21: この酪農家は論議する
fact14 -> int1: この酪農家はし辛いとしたら「腸内環境であるかもしくはそれは畳み込まない」ということは間違いである; fact21 & fact4 -> int2: この酪農家はし辛い; int1 & int2 -> hypothesis;
fact14 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); fact21 & fact4 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
この酪農家は腸内環境であるかあるいはそれは畳み込まない
fact24 -> int3: もしこの外国人女性が小高くないとすればそれはし辛くないし加えて論議しない; fact23 -> int4: もし仮にこの相対関係が磨き上げるとすればそれは仕入れないし鋭いということはない; fact22 & fact27 -> int5: この相対関係は磨き上げるし更に行政法規である; int5 -> int6: 「この相対関係は磨き上げる」ということは成り立つ; int4 & int6 -> int7: この相対関係は仕入れないしそれに鋭くない; int7 -> int8: とあるものは仕入れるということはないしかつ鋭くない; int8 & fact28 -> int9: この外国人女性は小高くない; int3 & int9 -> int10: この外国人女性はし辛くないし加えて論議しない; int10 -> int11: この外国人女性はし辛くない; fact26 -> int12: なんらかの物は合併出来ない; int12 & fact29 -> int13: その声明書はおもろいしその上めぼしい; int13 -> int14: その声明書はめぼしい;
$facts$ = fact1: もしなんらかのものが磨き上げるとすると仕入れないし鋭くない fact2: 「仮になんらかのものは畳み込めば「腸内環境であるかもしくは論議するということはない」ということは間違いである」ということは事実である fact3: この酪農家がし辛いならば腸内環境でない fact4: もしこの酪農家が論議するならそれはし辛い fact5: あの鶏レバーは合併出来るということはない fact6: 仮にあの冷凍能力がほろ苦くないならばこの相対関係は磨き上げるし行政法規だ fact7: この外国人女性はし辛くないしさらにめぼしくないとしたらその銘はし辛くない fact8: あのＣＯＰは論議しない fact9: 仮にその銘はし辛くないならこの酪農家は腸内環境であるかあるいは畳み込まないかまたはどちらもである fact10: 小高くない物はし辛くないしおまけに論議しない fact11: もしも「仕入れないしその上鋭くない」ものがあるならこの外国人女性は小高くない fact12: その声明書がめぼしいし浴びるならばあの外国人女性はめぼしくない fact13: この酪農家は腸内環境でない fact14: なにがしかのものはし辛いとすれば「それは腸内環境であるかあるいはそれは畳み込むということはないかあるいは両方だ」ということは嘘である fact15: 「そのゴーヤーは策するかもしくは百姓らしくない」ということは偽である fact16: 「二十世紀半ばは有り難しない」ということは間違いでない fact17: 仮にこの酪農家が要介護者等だとすればそれは気高しということはない fact18: あの冷凍能力はほろ苦くない fact19: 何かは合併出来ないならば「その声明書はおもろくてめぼしい」ということは真実だ fact20: 「もし「この酪農家は決め難い」ということは確かであるとするとこの酪農家は環境倫理でない」ということは成り立つ fact21: この酪農家は論議する ; $hypothesis$ = この酪農家は腸内環境であるかあるいはそれは畳み込まない ; $proof$ = 
fact14 -> int1: この酪農家はし辛いとしたら「腸内環境であるかもしくはそれは畳み込まない」ということは間違いである; fact21 & fact4 -> 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. 事実14から、推論1: "この酪農家はし辛いとしたら「腸内環境であるかもしくはそれは畳み込まない」ということは間違いである"が導かれる
2. 事実21と事実4から、推論2: "この酪農家はし辛い"が導かれる
3. 推論1と推論2から、仮説が否定される

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