その四名乗車は詳しい
fact1: もしこのグルカ兵が晴れはましくらないとしたら「特色付けるということはなくてそれは発達すらない」ということは成り立たない fact2: その人間意思は惜しい fact3: その四名乗車は様良くないが吹け上がる fact4: あの野菜達は特色付けない一方で手際良い fact5: 「このグルカ兵は吹け上がらない一方で自己イメージである」ということは成り立つということはないとしたらあの単位取得は涼しかない fact6: 「このグルカ兵は涼しい」ということは真実だとするとその人間意思は手際良い fact7: あの単位取得が吹け上がるししかも涼しいとするとこのグルカ兵は惜しくない fact8: もし「手際良くない」ものはあるとしたら「あの単位取得は惜しいししどけない」ということは成り立たない fact9: このグルカ兵は晴れがましかない fact10: もしこのグルカ兵が自己イメージだとすればあの単位取得は涼しかない fact11: 「あの単位取得は自己イメージでないがそれは吹け上がる」ということは成り立たないとするとこのグルカ兵はしどけなくない fact12: その人間意思は手際良くない一方で惜しい fact13: もし仮にあの単位取得が自己イメージで吹け上がるならその四名乗車は詳しいということはない fact14: あの単位取得は自己イメージでないけれど詳しい fact15: もしもあの単位取得が自己イメージだとすればあのグルカ兵はしどけなくない fact16: 「その四名乗車は御送り致すしそれに詳しい」ということは嘘である fact17: もしあの単位取得が自己イメージでないけれど吹け上がるとするとその四名乗車は詳しくない fact18: 「このグルカ兵は手際良くないが自己イメージだ」ということは間違っているなら「その人間意思は涼しかない」ということは確かである fact19: あの単位取得は自己イメージであるということはない fact20: 仮に「何らかの物は惜しくてそれはしどけない」ということは嘘であるとすればしどけなくない fact21: 仮にその四名乗車が詳しくないがしかししどけないならこのグルカ兵は涼しかない fact22: もしもこのグルカ兵はしどけなくないとすると「それは涼しい」ということは事実である fact23: 仮に「ある物は特色付けないしそれにそれは発達すらない」ということは誤りだとすれば手際良くない fact24: あの単位取得は手際良い
void -> assump1: 以下のように仮定する。「あの単位取得は自己イメージでないけれど吹け上がる」ということは間違いだ; fact11 & assump1 -> int1: このグルカ兵はしどけないということはない; int1 & fact22 -> int2: このグルカ兵は涼しい; int2 & fact6 -> int3: その人間意思は手際良い; fact12 -> int4: その人間意思は手際良くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの単位取得は自己イメージでないがしかし吹け上がる; int6 & fact17 -> hypothesis;
「その四名乗車は詳しい」ということは確かである
fact25 -> int7: もしも「あの単位取得は惜しくてそれにしどけない」ということは成り立たないならばそれはしどけなくない; fact29 -> int8: もし「このグルカ兵は特色付けなくてかつそれは発達すらない」ということは成り立つということはないならば手際良くない; fact26 & fact27 -> int9: 「このグルカ兵は特色付けるということはないしさらに発達すらない」ということは成り立たない; int8 & int9 -> int10: このグルカ兵は手際良くない; int10 -> int11: 手際良くない物はある; int11 & fact28 -> int12: 「あの単位取得は惜しくてそれはしどけない」ということは本当でない; int7 & int12 -> 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: 仮にその四名乗車が詳しくないがしかししどけないならこのグルカ兵は涼しかない fact22: もしもこのグルカ兵はしどけなくないとすると「それは涼しい」ということは事実である fact23: 仮に「ある物は特色付けないしそれにそれは発達すらない」ということは誤りだとすれば手際良くない fact24: あの単位取得は手際良い ; $hypothesis$ = その四名乗車は詳しい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの単位取得は自己イメージでないけれど吹け上がる」ということは間違いだ; fact11 & assump1 -> int1: このグルカ兵はしどけないということはない; int1 & fact22 -> int2: このグルカ兵は涼しい; int2 & fact6 -> int3: その人間意思は手際良い; fact12 -> int4: その人間意思は手際良くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの単位取得は自己イメージでないがしかし吹け上がる; int6 & fact17 -> 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: あの単位取得は手際良い

仮説: その四名乗車は詳しい
1. 仮定1: 以下のように仮定する。「あの単位取得は自己イメージでないけれど吹け上がる」ということは間違いだ
2. 事実11と仮定1から、推論1: "このグルカ兵はしどけないということはない"が導かれる
3. 推論1と事実22から、推論2: "このグルカ兵は涼しい"が導かれる
4. 推論2と事実6から、推論3: "その人間意思は手際良い"が導かれる
5. 事実12から、推論4: "その人間意思は手際良くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの単位取得は自己イメージでないがしかし吹け上がる"が導かれる
8. 推論6と事実17から、仮説が否定される

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