この悪酔いは人間っぽい
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: あの書類籠は一手間でなくて更に聞き出さない fact27: この悪酔いは一手間でない
fact10 & fact15 -> int1: あのエンド・ユーザは狙われ易いということはなくてそれに上り易くない; int1 & fact9 -> int2: この時間稼ぎは手探りする; int2 & fact14 -> int3: この悪酔いは捨て難い; fact3 -> int4: もしこの悪酔いが天使らしくないとすればそれはアメリカ合衆国政府でなくてかつ一手間でない; int4 & fact11 -> int5: この悪酔いはアメリカ合衆国政府でないししかも一手間でない; int5 -> int6: この悪酔いはアメリカ合衆国政府でない; int3 & int6 -> int7: この悪酔いは捨て難いけれどそれはアメリカ合衆国政府でない; fact19 -> int8: もしこの悪酔いは捨て難いものであってしかもアメリカ合衆国政府でないなら人間っぽくない; int7 & int8 -> hypothesis;
もし仮に「この悪酔いは酸っぱいということはない」ということは成り立つとすると逃げ出せないしさらに書目でない
fact28 -> hypothesis;
$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: あの書類籠は一手間でなくて更に聞き出さない fact27: この悪酔いは一手間でない ; $hypothesis$ = この悪酔いは人間っぽい ; $proof$ = 
fact10 & fact15 -> int1: あのエンド・ユーザは狙われ易いということはなくてそれに上り易くない; int1 & fact9 -> int2: この時間稼ぎは手探りする; int2 & fact14 -> int3: この悪酔いは捨て難い; fact3 -> int4: もしこの悪酔いが天使らしくないとすればそれはアメリカ合衆国政府でなくてかつ一手間でない; int4 & fact11 -> int5: この悪酔いはアメリカ合衆国政府でないししかも一手間でない; int5 -> int6: この悪酔いはアメリカ合衆国政府でない; int3 & int6 -> int7: この悪酔いは捨て難いけれどそれはアメリカ合衆国政府でない; fact19 -> int8: もしこの悪酔いは捨て難いものであってしかもアメリカ合衆国政府でないなら人間っぽくない; int7 & int8 -> 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: あの書類籠は一手間でなくて更に聞き出さない
事実27: この悪酔いは一手間でない

仮説: この悪酔いは人間っぽい
1. 事実10と事実15から、推論1: "あのエンド・ユーザは狙われ易いということはなくてそれに上り易くない"が導かれる
2. 推論1と事実9から、推論2: "この時間稼ぎは手探りする"が導かれる
3. 推論2と事実14から、推論3: "この悪酔いは捨て難い"が導かれる
4. 事実3から、推論4: "もしこの悪酔いが天使らしくないとすればそれはアメリカ合衆国政府でなくてかつ一手間でない"が導かれる
5. 推論4と事実11から、推論5: "この悪酔いはアメリカ合衆国政府でないししかも一手間でない"が導かれる
6. 推論5から、推論6: "この悪酔いはアメリカ合衆国政府でない"が導かれる
7. 推論3と推論6から、推論7: "この悪酔いは捨て難いけれどそれはアメリカ合衆国政府でない"が導かれる
8. 事実19から、推論8: "もしこの悪酔いは捨て難いものであってしかもアメリカ合衆国政府でないなら人間っぽくない"が導かれる
9. 推論7と推論8から、仮説が否定される

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