あの小胞は本するし熱回収する
fact1: 「「あのＡ女は最速であるが開発姿勢でない」ということは確かでない」ということは間違いでない fact2: 「このホーク号は掴み易いしまた鎌倉中だ」ということは偽だ fact3: もしもこのホーク号はみっともなくないとすると「あの小胞は本するし熱回収する」ということは間違いである fact4: ある物が生姜醤油ならばそれは手続きしなくてしかもせっかち過ぎない fact5: みっともないということはないものは修復出来る一方で鎌倉中でない fact6: あのＡ女は手続きする fact7: オプションフィールドは生姜醤油でないけどせっかち過ぎる fact8: 仮にある物は本するとすると「眠いかもしくは熱回収するということはないかあるいは両方である」ということは誤っている fact9: 「「眠いかまたは熱回収しないかあるいは両方である」ということは成り立たない」ものがあるとすればあのボール箱はみっともなくない fact10: あの一式戦は魅惑するけれど掴み易くない fact11: もし仮になにがしかのものは手続きしないとしたら「みっともないしおまけに眠い」ということは成り立たない fact12: もし仮に「あのボール箱は熱回収しない」ということは成り立つとするとあの神霊は熱回収する fact13: もしあのＡ女が手続きするということはないしさらにせっかち過ぎないとすればこのホーク号は本する fact14: もし仮に何かは生姜醤油でないけれどせっかち過ぎるならそれは手続きしない fact15: あのＡ女は眠いししかも手続きする fact16: もし「とある物は生姜醤油でなくてそれにオプションフィールドでない」ということは本当でないならば生姜醤油だ fact17: 「このホーク号は掴み易いけど鎌倉中でない」ということは誤っているとしたらあのＡ女は眠くない fact18: このホーク号が掴み易いがしかし鎌倉中でないとしたらあの一式戦はみっともない fact19: もしもあのボール箱が熱回収しないならあの小胞は本するし熱回収する fact20: もしもあの一式戦はみっともないなら「あのボール箱は熱回収しない」ということは成り立つ fact21: もし仮に「ある物はみっともないし眠い」ということは成り立たないとしたら「それはみっともなくない」ということは成り立つ
void -> assump1: 以下のように仮定する。「このホーク号は掴み易い一方で鎌倉中でない」ということは事実と異なる; fact17 & assump1 -> int1: あのＡ女は眠くない; fact15 -> int2: あのＡ女は眠い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このホーク号は掴み易い一方で鎌倉中でない; int4 & fact18 -> int5: あの一式戦はみっともない; int5 & fact20 -> int6: 「あのボール箱は熱回収するということはない」ということは事実である; int6 & fact19 -> hypothesis;
「あの小胞は本するししかも熱回収する」ということは成り立たない
fact26 -> int7: もし仮に「このホーク号はみっともないしそれにそれは眠い」ということは間違っているなら「それはみっともなくない」ということは確かだ; fact23 -> int8: もし仮に「このホーク号は手続きしない」ということは成り立つなら「それはみっともなくておまけにそれは眠い」ということは偽だ; fact27 -> int9: もしもこのホーク号は生姜醤油でないがせっかち過ぎるとすれば手続きしない; fact24 -> int10: もしも「このホーク号はオプションフィールドだ」ということは成り立てばそれは生姜醤油でないししかもせっかち過ぎる; fact25 -> int11: 「「最速だ一方で開発姿勢でない」ということは成り立つということはない」物はある;
$facts$ = fact1: 「「あのＡ女は最速であるが開発姿勢でない」ということは確かでない」ということは間違いでない fact2: 「このホーク号は掴み易いしまた鎌倉中だ」ということは偽だ fact3: もしもこのホーク号はみっともなくないとすると「あの小胞は本するし熱回収する」ということは間違いである fact4: ある物が生姜醤油ならばそれは手続きしなくてしかもせっかち過ぎない fact5: みっともないということはないものは修復出来る一方で鎌倉中でない fact6: あのＡ女は手続きする fact7: オプションフィールドは生姜醤油でないけどせっかち過ぎる fact8: 仮にある物は本するとすると「眠いかもしくは熱回収するということはないかあるいは両方である」ということは誤っている fact9: 「「眠いかまたは熱回収しないかあるいは両方である」ということは成り立たない」ものがあるとすればあのボール箱はみっともなくない fact10: あの一式戦は魅惑するけれど掴み易くない fact11: もし仮になにがしかのものは手続きしないとしたら「みっともないしおまけに眠い」ということは成り立たない fact12: もし仮に「あのボール箱は熱回収しない」ということは成り立つとするとあの神霊は熱回収する fact13: もしあのＡ女が手続きするということはないしさらにせっかち過ぎないとすればこのホーク号は本する fact14: もし仮に何かは生姜醤油でないけれどせっかち過ぎるならそれは手続きしない fact15: あのＡ女は眠いししかも手続きする fact16: もし「とある物は生姜醤油でなくてそれにオプションフィールドでない」ということは本当でないならば生姜醤油だ fact17: 「このホーク号は掴み易いけど鎌倉中でない」ということは誤っているとしたらあのＡ女は眠くない fact18: このホーク号が掴み易いがしかし鎌倉中でないとしたらあの一式戦はみっともない fact19: もしもあのボール箱が熱回収しないならあの小胞は本するし熱回収する fact20: もしもあの一式戦はみっともないなら「あのボール箱は熱回収しない」ということは成り立つ fact21: もし仮に「ある物はみっともないし眠い」ということは成り立たないとしたら「それはみっともなくない」ということは成り立つ ; $hypothesis$ = あの小胞は本するし熱回収する ; $proof$ = 
void -> assump1: 以下のように仮定する。「このホーク号は掴み易い一方で鎌倉中でない」ということは事実と異なる; fact17 & assump1 -> int1: あのＡ女は眠くない; fact15 -> int2: あのＡ女は眠い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このホーク号は掴み易い一方で鎌倉中でない; int4 & fact18 -> int5: あの一式戦はみっともない; int5 & fact20 -> int6: 「あのボール箱は熱回収するということはない」ということは事実である; int6 & fact19 -> hypothesis; __PROVED__
事実1: 「「あのＡ女は最速であるが開発姿勢でない」ということは確かでない」ということは間違いでない
事実2: 「このホーク号は掴み易いしまた鎌倉中だ」ということは偽だ
事実3: もしもこのホーク号はみっともなくないとすると「あの小胞は本するし熱回収する」ということは間違いである
事実4: ある物が生姜醤油ならばそれは手続きしなくてしかもせっかち過ぎない
事実5: みっともないということはないものは修復出来る一方で鎌倉中でない
事実6: あのＡ女は手続きする
事実7: オプションフィールドは生姜醤油でないけどせっかち過ぎる
事実8: 仮にある物は本するとすると「眠いかもしくは熱回収するということはないかあるいは両方である」ということは誤っている
事実9: 「「眠いかまたは熱回収しないかあるいは両方である」ということは成り立たない」ものがあるとすればあのボール箱はみっともなくない
事実10: あの一式戦は魅惑するけれど掴み易くない
事実11: もし仮になにがしかのものは手続きしないとしたら「みっともないしおまけに眠い」ということは成り立たない
事実12: もし仮に「あのボール箱は熱回収しない」ということは成り立つとするとあの神霊は熱回収する
事実13: もしあのＡ女が手続きするということはないしさらにせっかち過ぎないとすればこのホーク号は本する
事実14: もし仮に何かは生姜醤油でないけれどせっかち過ぎるならそれは手続きしない
事実15: あのＡ女は眠いししかも手続きする
事実16: もし「とある物は生姜醤油でなくてそれにオプションフィールドでない」ということは本当でないならば生姜醤油だ
事実17: 「このホーク号は掴み易いけど鎌倉中でない」ということは誤っているとしたらあのＡ女は眠くない
事実18: このホーク号が掴み易いがしかし鎌倉中でないとしたらあの一式戦はみっともない
事実19: もしもあのボール箱が熱回収しないならあの小胞は本するし熱回収する
事実20: もしもあの一式戦はみっともないなら「あのボール箱は熱回収しない」ということは成り立つ
事実21: もし仮に「ある物はみっともないし眠い」ということは成り立たないとしたら「それはみっともなくない」ということは成り立つ

仮説: あの小胞は本するし熱回収する
1. 仮定1: 以下のように仮定する。「このホーク号は掴み易い一方で鎌倉中でない」ということは事実と異なる
2. 事実17と仮定1から、推論1: "あのＡ女は眠くない"が導かれる
3. 事実15から、推論2: "あのＡ女は眠い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このホーク号は掴み易い一方で鎌倉中でない"が導かれる
6. 推論4と事実18から、推論5: "あの一式戦はみっともない"が導かれる
7. 推論5と事実20から、推論6: "「あのボール箱は熱回収するということはない」ということは事実である"が導かれる
8. 推論6と事実19から、仮説が導かれる

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