あの林檎酒はエグゼクティブ・ジェットである
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: あの四十六Ｆは怖じけ付く
fact17 & fact21 -> int1: あの林檎酒はすこい; fact12 -> int2: もしもあの林檎酒はすこいとしたら「それは設定す」ということは事実だ; int1 & int2 -> int3: あの林檎酒は設定す; fact5 & fact8 -> int4: あの林檎酒は冠水する; fact3 -> int5: もしもあの林檎酒が冠水するとするとそれは眠い; int4 & int5 -> int6: あの林檎酒は眠い; int3 & int6 -> int7: あの林檎酒は設定すししかも眠い; fact19 -> int8: あの林檎酒は設定すしさらに眠いとすればエグゼクティブ・ジェットでない; int7 & int8 -> hypothesis;
あの林檎酒はエグゼクティブ・ジェットである
fact31 -> int9: その短期賃貸借制度は眠くないとしたら「設定すらなくてすこくない」ということは偽である; fact29 -> int10: 仮にその短期賃貸借制度が冠水しないがしかし備え付けるとしたら眠くない; fact33 -> int11: もしもその短期賃貸借制度が嫌らしいとすれば冠水しなくて備え付ける; fact32 -> int12: 仮に「その短期賃貸借制度は嫉妬深い」ということは本当でないなら嫌らしいしそれは使用し難い; fact36 -> int13: もしその短期賃貸借制度は洒落臭いとすれば「嫉妬深くない」ということは偽でない; fact34 -> int14: 「その短期賃貸借制度はラベルレイアウトである」ということは成り立つ; fact28 & int14 -> int15: 「その短期賃貸借制度は洒落臭い」ということは確かである; int13 & int15 -> int16: 「その短期賃貸借制度は嫉妬深くない」ということは真実だ; int12 & int16 -> int17: その短期賃貸借制度は嫌らしいしそれは使用し難い; int17 -> int18: その短期賃貸借制度は嫌らしい; int11 & int18 -> int19: その短期賃貸借制度は冠水しないけどそれは備え付ける; int10 & int19 -> int20: その短期賃貸借制度は眠くない; int9 & int20 -> int21: 「その短期賃貸借制度は設定すということはないしさらにすこくない」ということは事実でない; int21 -> int22: 「「設定すらないしすこくない」ということは間違っている」ものはある;
$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$ = 
fact17 & fact21 -> int1: あの林檎酒はすこい; fact12 -> int2: もしもあの林檎酒はすこいとしたら「それは設定す」ということは事実だ; int1 & int2 -> int3: あの林檎酒は設定す; fact5 & fact8 -> int4: あの林檎酒は冠水する; fact3 -> int5: もしもあの林檎酒が冠水するとするとそれは眠い; int4 & 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. 事実17と事実21から、推論1: "あの林檎酒はすこい"が導かれる
2. 事実12から、推論2: "もしもあの林檎酒はすこいとしたら「それは設定す」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "あの林檎酒は設定す"が導かれる
4. 事実5と事実8から、推論4: "あの林檎酒は冠水する"が導かれる
5. 事実3から、推論5: "もしもあの林檎酒が冠水するとするとそれは眠い"が導かれる
6. 推論4と推論5から、推論6: "あの林檎酒は眠い"が導かれる
7. 推論3と推論6から、推論7: "あの林檎酒は設定すししかも眠い"が導かれる
8. 事実19から、推論8: "あの林檎酒は設定すしさらに眠いとすればエグゼクティブ・ジェットでない"が導かれる
9. 推論7と推論8から、仮説が否定される

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