この賃貸条件は組み合わない一方で三元豚である
fact1: もし仮にあの鉱山技師は組み合わないとしたら「その生命予後は組み合わないけど全うする」ということは成り立たない fact2: もし三元豚があるとすればあの賃貸条件は全うするが組み合わない fact3: もし仮になにかは申し訳無いとすればあの生命予後は全うしない fact4: 「申し訳無い」物はある fact5: ある物が動き易いとしたらその生命予後は組み合うがしかし三元豚でない fact6: もしこの賃貸条件は全うしないならば「その生命予後は全うしないけれど組み合う」ということは正しくない fact7: 「この賃貸条件は組み合うしさらに三元豚である」ということは成り立たない fact8: 「その生命予後は申し訳無い」ということは成り立つならこの賃貸条件は組み合わないけど三元豚である fact9: その生命予後は全うしない fact10: この賃貸条件は動き易くない fact11: 「あの鉱山技師は組み合わないけれど全うする」ということは成り立たない fact12: もしこの賃貸条件は三元豚でないとすれば「あの鉱山技師は三元豚でないが組み合う」ということは嘘である fact13: その生命予後が動き易くてさらにそれが全うするとすればあの鉱山技師は組み合わない fact14: もしなんらかのものが申し訳無いならばその生命予後は動き易いがそれは全うしない fact15: あの鉱山技師は三元豚であるがしかしそれは一手法でない fact16: 「あの鉱山技師は組み合う」ということは成り立つということはないとしたら「この賃貸条件は組み合わないけど三元豚だ」ということは間違っている fact17: 「その生命予後は動き易い一方で申し訳無くない」ということは成り立たないとすれば「この賃貸条件は組み合わない」ということは成り立つ fact18: その生命予後は組み合う一方で全うしない fact19: あの鉱山技師は組み合わないならば「この賃貸条件は組み合うしそれに三元豚である」ということは成り立たない fact20: もしもその生命予後が動き易いけど全うしないとしたらあの鉱山技師は組み合わない
fact4 & fact14 -> int1: その生命予後は動き易いがしかし全うしない; int1 & fact20 -> int2: あの鉱山技師は組み合うということはない; int2 & fact16 -> hypothesis;
この賃貸条件は組み合わないけどそれは三元豚だ
$facts$ = fact1: もし仮にあの鉱山技師は組み合わないとしたら「その生命予後は組み合わないけど全うする」ということは成り立たない fact2: もし三元豚があるとすればあの賃貸条件は全うするが組み合わない fact3: もし仮になにかは申し訳無いとすればあの生命予後は全うしない fact4: 「申し訳無い」物はある fact5: ある物が動き易いとしたらその生命予後は組み合うがしかし三元豚でない fact6: もしこの賃貸条件は全うしないならば「その生命予後は全うしないけれど組み合う」ということは正しくない fact7: 「この賃貸条件は組み合うしさらに三元豚である」ということは成り立たない fact8: 「その生命予後は申し訳無い」ということは成り立つならこの賃貸条件は組み合わないけど三元豚である fact9: その生命予後は全うしない fact10: この賃貸条件は動き易くない fact11: 「あの鉱山技師は組み合わないけれど全うする」ということは成り立たない fact12: もしこの賃貸条件は三元豚でないとすれば「あの鉱山技師は三元豚でないが組み合う」ということは嘘である fact13: その生命予後が動き易くてさらにそれが全うするとすればあの鉱山技師は組み合わない fact14: もしなんらかのものが申し訳無いならばその生命予後は動き易いがそれは全うしない fact15: あの鉱山技師は三元豚であるがしかしそれは一手法でない fact16: 「あの鉱山技師は組み合う」ということは成り立つということはないとしたら「この賃貸条件は組み合わないけど三元豚だ」ということは間違っている fact17: 「その生命予後は動き易い一方で申し訳無くない」ということは成り立たないとすれば「この賃貸条件は組み合わない」ということは成り立つ fact18: その生命予後は組み合う一方で全うしない fact19: あの鉱山技師は組み合わないならば「この賃貸条件は組み合うしそれに三元豚である」ということは成り立たない fact20: もしもその生命予後が動き易いけど全うしないとしたらあの鉱山技師は組み合わない ; $hypothesis$ = この賃貸条件は組み合わない一方で三元豚である ; $proof$ = 
fact4 & fact14 -> int1: その生命予後は動き易いがしかし全うしない; int1 & fact20 -> int2: あの鉱山技師は組み合うということはない; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: もし仮にあの鉱山技師は組み合わないとしたら「その生命予後は組み合わないけど全うする」ということは成り立たない
事実2: もし三元豚があるとすればあの賃貸条件は全うするが組み合わない
事実3: もし仮になにかは申し訳無いとすればあの生命予後は全うしない
事実4: 「申し訳無い」物はある
事実5: ある物が動き易いとしたらその生命予後は組み合うがしかし三元豚でない
事実6: もしこの賃貸条件は全うしないならば「その生命予後は全うしないけれど組み合う」ということは正しくない
事実7: 「この賃貸条件は組み合うしさらに三元豚である」ということは成り立たない
事実8: 「その生命予後は申し訳無い」ということは成り立つならこの賃貸条件は組み合わないけど三元豚である
事実9: その生命予後は全うしない
事実10: この賃貸条件は動き易くない
事実11: 「あの鉱山技師は組み合わないけれど全うする」ということは成り立たない
事実12: もしこの賃貸条件は三元豚でないとすれば「あの鉱山技師は三元豚でないが組み合う」ということは嘘である
事実13: その生命予後が動き易くてさらにそれが全うするとすればあの鉱山技師は組み合わない
事実14: もしなんらかのものが申し訳無いならばその生命予後は動き易いがそれは全うしない
事実15: あの鉱山技師は三元豚であるがしかしそれは一手法でない
事実16: 「あの鉱山技師は組み合う」ということは成り立つということはないとしたら「この賃貸条件は組み合わないけど三元豚だ」ということは間違っている
事実17: 「その生命予後は動き易い一方で申し訳無くない」ということは成り立たないとすれば「この賃貸条件は組み合わない」ということは成り立つ
事実18: その生命予後は組み合う一方で全うしない
事実19: あの鉱山技師は組み合わないならば「この賃貸条件は組み合うしそれに三元豚である」ということは成り立たない
事実20: もしもその生命予後が動き易いけど全うしないとしたらあの鉱山技師は組み合わない

仮説: この賃貸条件は組み合わない一方で三元豚である
1. 事実4と事実14から、推論1: "その生命予後は動き易いがしかし全うしない"が導かれる
2. 推論1と事実20から、推論2: "あの鉱山技師は組み合うということはない"が導かれる
3. 推論2と事実16から、仮説が否定される

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