その本体は冴えでない
fact1: もしこの泣き落としが安いならその本体はエンジン出力である fact2: 「この企業リストラは相入れない」ということは事実である fact3: 仮にその幼少時代が奉納しないとしたらこの泣き落としは奉納する fact4: なんらかのものはホバリングするということはないとしたら「奉納するしその上それは大学教育でない」ということは間違っている fact5: その本体は苦慮する fact6: もしもなにかはエンジン出力であるとすると冴えである fact7: この企業リストラはホバリングしない fact8: この企業リストラが名声だということはないならばこのコンシェルジュはやっかむが使い易くない fact9: その本体は安い一方でそれは六者協議でない fact10: なにがしかの物が駆け上らないとすればそれは冴えであるということはないしさらにエンジン出力でない fact11: 仮に「とある物は奉納するがしかし大学教育でない」ということは間違っているなら使い易くない fact12: このコンシェルジュがやっかむが使い易いということはないとしたらこの泣き落としは安い fact13: もしもこの企業リストラがエンジン出力だということはないとすればその本体は名声でない fact14: もしその本体が相入れるがそれが苦慮しないとしたらこの企業リストラはエンジン出力である fact15: この企業リストラは相入れるがしかし冴えでないなら「その本体は苦慮する」ということは正しい fact16: もし仮にあるものがやっかまなくてその上使い易いないとしたらあの私用は名声だということはない fact17: このコンシェルジュは安くない fact18: この娑婆は安くない fact19: もし仮にこの企業リストラが名声だとしたら相入れないけれど苦慮する fact20: このコンシェルジュがエンジン出力でないならばこの企業リストラは安いしやっかむ fact21: もし仮にこの泣き落としは奉納するとすれば「このコンシェルジュは大学教育でないがエンジン出力だ」ということは本当でない fact22: もし仮に何らかの物が名声だということはないなら発育するということはなくて安い fact23: 仮にこの企業リストラが冴えだということはないしかつそれはエンジン出力でないならばそれはやっかまない fact24: 「その幼少時代は奉納しない」ということは事実である fact25: もし「ある物は大学教育でないがエンジン出力だ」ということは嘘であるならそれはエンジン出力でない fact26: 「この企業リストラは相入れるということはないが苦慮する」ということは確かでない
void -> assump1: 以下のように仮定する。この企業リストラは名声である; fact19 & assump1 -> int1: この企業リストラは相入れるということはないけれど苦慮する; int1 & fact26 -> int2: これは矛盾である; [assump1] & int2 -> int3: この企業リストラは名声でない; int3 & fact8 -> int4: このコンシェルジュはやっかむけれど使い易くない; int4 & fact12 -> int5: 「この泣き落としは安い」ということは事実だ; int5 & fact1 -> int6: その本体はエンジン出力だ; fact6 -> int7: 仮にその本体がエンジン出力ならばそれは冴えである; int6 & int7 -> hypothesis;
あの私用は発育しないけれどそれは安い
fact32 -> int8: もしもこのコンシェルジュが駆け上らないとするとそれは冴えであるということはないししかもエンジン出力でない; fact33 -> int9: 仮にこの企業リストラはホバリングしないとすれば「奉納するしそれに大学教育でない」ということは間違っている; int9 & fact27 -> int10: 「この企業リストラは奉納する一方で大学教育でない」ということは正しくない; fact31 -> int11: 仮に「この企業リストラは奉納するけど大学教育でない」ということは偽だとすると「使い易いということはない」ということは確かだ; int10 & int11 -> int12: この企業リストラは使い易くない; fact28 -> int13: もしもあの私用が名声でないとすればそれは発育しないが安い;
$facts$ = fact1: もしこの泣き落としが安いならその本体はエンジン出力である fact2: 「この企業リストラは相入れない」ということは事実である fact3: 仮にその幼少時代が奉納しないとしたらこの泣き落としは奉納する fact4: なんらかのものはホバリングするということはないとしたら「奉納するしその上それは大学教育でない」ということは間違っている fact5: その本体は苦慮する fact6: もしもなにかはエンジン出力であるとすると冴えである fact7: この企業リストラはホバリングしない fact8: この企業リストラが名声だということはないならばこのコンシェルジュはやっかむが使い易くない fact9: その本体は安い一方でそれは六者協議でない fact10: なにがしかの物が駆け上らないとすればそれは冴えであるということはないしさらにエンジン出力でない fact11: 仮に「とある物は奉納するがしかし大学教育でない」ということは間違っているなら使い易くない fact12: このコンシェルジュがやっかむが使い易いということはないとしたらこの泣き落としは安い fact13: もしもこの企業リストラがエンジン出力だということはないとすればその本体は名声でない fact14: もしその本体が相入れるがそれが苦慮しないとしたらこの企業リストラはエンジン出力である fact15: この企業リストラは相入れるがしかし冴えでないなら「その本体は苦慮する」ということは正しい fact16: もし仮にあるものがやっかまなくてその上使い易いないとしたらあの私用は名声だということはない fact17: このコンシェルジュは安くない fact18: この娑婆は安くない fact19: もし仮にこの企業リストラが名声だとしたら相入れないけれど苦慮する fact20: このコンシェルジュがエンジン出力でないならばこの企業リストラは安いしやっかむ fact21: もし仮にこの泣き落としは奉納するとすれば「このコンシェルジュは大学教育でないがエンジン出力だ」ということは本当でない fact22: もし仮に何らかの物が名声だということはないなら発育するということはなくて安い fact23: 仮にこの企業リストラが冴えだということはないしかつそれはエンジン出力でないならばそれはやっかまない fact24: 「その幼少時代は奉納しない」ということは事実である fact25: もし「ある物は大学教育でないがエンジン出力だ」ということは嘘であるならそれはエンジン出力でない fact26: 「この企業リストラは相入れるということはないが苦慮する」ということは確かでない ; $hypothesis$ = その本体は冴えでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この企業リストラは名声である; fact19 & assump1 -> int1: この企業リストラは相入れるということはないけれど苦慮する; int1 & fact26 -> int2: これは矛盾である; [assump1] & int2 -> int3: この企業リストラは名声でない; int3 & fact8 -> int4: このコンシェルジュはやっかむけれど使い易くない; int4 & fact12 -> int5: 「この泣き落としは安い」ということは事実だ; int5 & fact1 -> int6: その本体はエンジン出力だ; fact6 -> int7: 仮にその本体がエンジン出力ならばそれは冴えである; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしこの泣き落としが安いならその本体はエンジン出力である
事実2: 「この企業リストラは相入れない」ということは事実である
事実3: 仮にその幼少時代が奉納しないとしたらこの泣き落としは奉納する
事実4: なんらかのものはホバリングするということはないとしたら「奉納するしその上それは大学教育でない」ということは間違っている
事実5: その本体は苦慮する
事実6: もしもなにかはエンジン出力であるとすると冴えである
事実7: この企業リストラはホバリングしない
事実8: この企業リストラが名声だということはないならばこのコンシェルジュはやっかむが使い易くない
事実9: その本体は安い一方でそれは六者協議でない
事実10: なにがしかの物が駆け上らないとすればそれは冴えであるということはないしさらにエンジン出力でない
事実11: 仮に「とある物は奉納するがしかし大学教育でない」ということは間違っているなら使い易くない
事実12: このコンシェルジュがやっかむが使い易いということはないとしたらこの泣き落としは安い
事実13: もしもこの企業リストラがエンジン出力だということはないとすればその本体は名声でない
事実14: もしその本体が相入れるがそれが苦慮しないとしたらこの企業リストラはエンジン出力である
事実15: この企業リストラは相入れるがしかし冴えでないなら「その本体は苦慮する」ということは正しい
事実16: もし仮にあるものがやっかまなくてその上使い易いないとしたらあの私用は名声だということはない
事実17: このコンシェルジュは安くない
事実18: この娑婆は安くない
事実19: もし仮にこの企業リストラが名声だとしたら相入れないけれど苦慮する
事実20: このコンシェルジュがエンジン出力でないならばこの企業リストラは安いしやっかむ
事実21: もし仮にこの泣き落としは奉納するとすれば「このコンシェルジュは大学教育でないがエンジン出力だ」ということは本当でない
事実22: もし仮に何らかの物が名声だということはないなら発育するということはなくて安い
事実23: 仮にこの企業リストラが冴えだということはないしかつそれはエンジン出力でないならばそれはやっかまない
事実24: 「その幼少時代は奉納しない」ということは事実である
事実25: もし「ある物は大学教育でないがエンジン出力だ」ということは嘘であるならそれはエンジン出力でない
事実26: 「この企業リストラは相入れるということはないが苦慮する」ということは確かでない

仮説: その本体は冴えでない
1. 仮定1: 以下のように仮定する。この企業リストラは名声である
2. 事実19と仮定1から、推論1: "この企業リストラは相入れるということはないけれど苦慮する"が導かれる
3. 推論1と事実26から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この企業リストラは名声でない"が導かれる
5. 推論3と事実8から、推論4: "このコンシェルジュはやっかむけれど使い易くない"が導かれる
6. 推論4と事実12から、推論5: "「この泣き落としは安い」ということは事実だ"が導かれる
7. 推論5と事実1から、推論6: "その本体はエンジン出力だ"が導かれる
8. 事実6から、推論7: "仮にその本体がエンジン出力ならばそれは冴えである"が導かれる
9. 推論6と推論7から、仮説が否定される

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