あの年輪はエコカーだ
fact1: あの年輪は悪しくて商科であるとするとエコカーだ fact2: 仮に何らかの物が概念化しないとすればそれは苦々しかないがデビューする fact3: あの年輪が生え易くてそれがエコカーだとすれば意地悪い fact4: あの年輪は悪しくない fact5: あのメシアが抹香であるししかもそれが悪しいとすると一路だ fact6: 仮にあの鉢が遣り続けないなら人格的関係であるし生え易い fact7: もし仮に悪しくない物は商科であるならそれはエコカーである fact8: あの生産工程が陸上交通であるとしたらそれはエコカーでないしそれは伝わり難い fact9: このＬＥは概念化する fact10: もし仮にあの年輪は概念化すれば「悪しいということはない」ということは本当だ fact11: その総資産は悪しくない fact12: もし仮に歪み度が析出するとすると抹香である fact13: 悪しい物が商科だとするとそれはエコカーだ fact14: あの年輪が悪しいとしたらこの比例代表選挙は悪しい fact15: あの年輪は概念化する fact16: あの農業機械はエコカーだ fact17: もしあの年輪が概念化するなら補充しない fact18: もし仮に「あの年輪は概念化する」ということは本当だとするとそれは悪しくない一方で商科である fact19: 仮にあの年輪がエコカーでないが済ま無いとすればそれは歪み度である fact20: あの年輪が意地悪いとしたら推し量れなくてそれは言い訳する fact21: 「もしあの年輪が気恥ずかしいならあの年輪はエコカーでないけど老父である」ということは成り立つ fact22: その苦渋は当該申し出でないが答え難い
fact18 & fact15 -> int1: あの年輪は悪しくないが商科だ; fact7 -> int2: もし仮にあの年輪が悪しくないが商科であるとすればそれはエコカーだ; int1 & int2 -> hypothesis;
fact18 & fact15 -> int1: (¬{AA}{a} & {AB}{a}); fact7 -> int2: (¬{AA}{a} & {AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
あの年輪はエコカーでない
$facts$ = fact1: あの年輪は悪しくて商科であるとするとエコカーだ fact2: 仮に何らかの物が概念化しないとすればそれは苦々しかないがデビューする fact3: あの年輪が生え易くてそれがエコカーだとすれば意地悪い fact4: あの年輪は悪しくない fact5: あのメシアが抹香であるししかもそれが悪しいとすると一路だ fact6: 仮にあの鉢が遣り続けないなら人格的関係であるし生え易い fact7: もし仮に悪しくない物は商科であるならそれはエコカーである fact8: あの生産工程が陸上交通であるとしたらそれはエコカーでないしそれは伝わり難い fact9: このＬＥは概念化する fact10: もし仮にあの年輪は概念化すれば「悪しいということはない」ということは本当だ fact11: その総資産は悪しくない fact12: もし仮に歪み度が析出するとすると抹香である fact13: 悪しい物が商科だとするとそれはエコカーだ fact14: あの年輪が悪しいとしたらこの比例代表選挙は悪しい fact15: あの年輪は概念化する fact16: あの農業機械はエコカーだ fact17: もしあの年輪が概念化するなら補充しない fact18: もし仮に「あの年輪は概念化する」ということは本当だとするとそれは悪しくない一方で商科である fact19: 仮にあの年輪がエコカーでないが済ま無いとすればそれは歪み度である fact20: あの年輪が意地悪いとしたら推し量れなくてそれは言い訳する fact21: 「もしあの年輪が気恥ずかしいならあの年輪はエコカーでないけど老父である」ということは成り立つ fact22: その苦渋は当該申し出でないが答え難い ; $hypothesis$ = あの年輪はエコカーだ ; $proof$ = 
fact18 & fact15 -> int1: あの年輪は悪しくないが商科だ; fact7 -> int2: もし仮にあの年輪が悪しくないが商科であるとすればそれはエコカーだ; int1 & int2 -> hypothesis; __PROVED__
事実1: あの年輪は悪しくて商科であるとするとエコカーだ
事実2: 仮に何らかの物が概念化しないとすればそれは苦々しかないがデビューする
事実3: あの年輪が生え易くてそれがエコカーだとすれば意地悪い
事実4: あの年輪は悪しくない
事実5: あのメシアが抹香であるししかもそれが悪しいとすると一路だ
事実6: 仮にあの鉢が遣り続けないなら人格的関係であるし生え易い
事実7: もし仮に悪しくない物は商科であるならそれはエコカーである
事実8: あの生産工程が陸上交通であるとしたらそれはエコカーでないしそれは伝わり難い
事実9: このＬＥは概念化する
事実10: もし仮にあの年輪は概念化すれば「悪しいということはない」ということは本当だ
事実11: その総資産は悪しくない
事実12: もし仮に歪み度が析出するとすると抹香である
事実13: 悪しい物が商科だとするとそれはエコカーだ
事実14: あの年輪が悪しいとしたらこの比例代表選挙は悪しい
事実15: あの年輪は概念化する
事実16: あの農業機械はエコカーだ
事実17: もしあの年輪が概念化するなら補充しない
事実18: もし仮に「あの年輪は概念化する」ということは本当だとするとそれは悪しくない一方で商科である
事実19: 仮にあの年輪がエコカーでないが済ま無いとすればそれは歪み度である
事実20: あの年輪が意地悪いとしたら推し量れなくてそれは言い訳する
事実21: 「もしあの年輪が気恥ずかしいならあの年輪はエコカーでないけど老父である」ということは成り立つ
事実22: その苦渋は当該申し出でないが答え難い

仮説: あの年輪はエコカーだ
1. 事実18と事実15から、推論1: "あの年輪は悪しくないが商科だ"が導かれる
2. 事実7から、推論2: "もし仮にあの年輪が悪しくないが商科であるとすればそれはエコカーだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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