あの向こう向きは最低資本金額でない
fact1: このマナは成り易い fact2: この炉近くは成り易い fact3: このマナは表示色だ fact4: 「クラミジアであるし表示色である」物はあるとすれば「このマナは最低資本金額でない」ということは成り立つ fact5: このマナはクラミジアだ fact6: 仮にある物は挨拶状であるということはないとしたら黄体形成ホルモンだ fact7: 何らかのものがクラミジアでないとすれば最低資本金額である fact8: もし仮に成り易い物が表示色であるとしたらあの向こう向きはクラミジアであるということはない fact9: この個人タクシーは表示色だ fact10: あの向こう向きはＣＰＡＮである fact11: その利用者自らはクラミジアだ fact12: あの向こう向きはデイケア施設だ fact13: 「あるものは御知りに成る」ということは正しい fact14: あの向こう向きは成り易くない
fact1 & fact3 -> int1: このマナは成り易いしまた表示色だ; int1 -> int2: 何かは成り易くて加えて表示色だ; int2 & fact8 -> int3: 「あの向こう向きはクラミジアだということはない」ということは成り立つ; fact7 -> int4: あの向こう向きはクラミジアでないとするとそれは最低資本金額である; int3 & int4 -> hypothesis;
$facts$ = fact1: このマナは成り易い fact2: この炉近くは成り易い fact3: このマナは表示色だ fact4: 「クラミジアであるし表示色である」物はあるとすれば「このマナは最低資本金額でない」ということは成り立つ fact5: このマナはクラミジアだ fact6: 仮にある物は挨拶状であるということはないとしたら黄体形成ホルモンだ fact7: 何らかのものがクラミジアでないとすれば最低資本金額である fact8: もし仮に成り易い物が表示色であるとしたらあの向こう向きはクラミジアであるということはない fact9: この個人タクシーは表示色だ fact10: あの向こう向きはＣＰＡＮである fact11: その利用者自らはクラミジアだ fact12: あの向こう向きはデイケア施設だ fact13: 「あるものは御知りに成る」ということは正しい fact14: あの向こう向きは成り易くない ; $hypothesis$ = あの向こう向きは最低資本金額でない ; $proof$ = 
fact1 & fact3 -> int1: このマナは成り易いしまた表示色だ; int1 -> int2: 何かは成り易くて加えて表示色だ; int2 & fact8 -> int3: 「あの向こう向きはクラミジアだということはない」ということは成り立つ; fact7 -> int4: あの向こう向きはクラミジアでないとするとそれは最低資本金額である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: このマナは成り易い
事実2: この炉近くは成り易い
事実3: このマナは表示色だ
事実4: 「クラミジアであるし表示色である」物はあるとすれば「このマナは最低資本金額でない」ということは成り立つ
事実5: このマナはクラミジアだ
事実6: 仮にある物は挨拶状であるということはないとしたら黄体形成ホルモンだ
事実7: 何らかのものがクラミジアでないとすれば最低資本金額である
事実8: もし仮に成り易い物が表示色であるとしたらあの向こう向きはクラミジアであるということはない
事実9: この個人タクシーは表示色だ
事実10: あの向こう向きはＣＰＡＮである
事実11: その利用者自らはクラミジアだ
事実12: あの向こう向きはデイケア施設だ
事実13: 「あるものは御知りに成る」ということは正しい
事実14: あの向こう向きは成り易くない

仮説: あの向こう向きは最低資本金額でない
1. 事実1と事実3から、推論1: "このマナは成り易いしまた表示色だ"が導かれる
2. 推論1から、推論2: "何かは成り易くて加えて表示色だ"が導かれる
3. 推論2と事実8から、推論3: "「あの向こう向きはクラミジアだということはない」ということは成り立つ"が導かれる
4. 事実7から、推論4: "あの向こう向きはクラミジアでないとするとそれは最低資本金額である"が導かれる
5. 推論3と推論4から、仮説が否定される

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