「その教育用コンピュータは羽ばたかない」ということは成り立つ
fact1: この一等賞が動機付けないかそれがマージフィールドでないかまたは両方であるとすればその教育用コンピュータは動機付けない fact2: その教育用コンピュータは父親らしくない fact3: もしもあの過剰筋緊張がソフトウエア企業でないとしたらその不返済はソフトウエア企業でない fact4: この引き込みはＲウィン値である fact5: もし仮にあの過剰筋緊張が蒸し暑くないとするとその不返済はソフトウエア企業でない fact6: もし仮にその教育用コンピュータがぶっといとすれば妊婦でない fact7: もしあの単収がソフトウエア企業だとするとこの一等賞は動機付けないかもしくはマージフィールドでないか両方である fact8: もし仮に何らかのものはソフトウエア企業でないとしたら「マージフィールドである一方で間違い易いということはない」ということは成り立つということはない fact9: もしも「その不返済がマージフィールドだけど間違い易くない」ということは成り立たないならばそのフィンガーはマージフィールドだ fact10: あの過剰筋緊張は化石化する fact11: もしも何らかの物は動機付けないしさらに乱れ切るということはないならば「それは移動し易くない」ということは事実である fact12: 「あの過剰筋緊張は化石化する」ということは成り立つとするとそれは蒸し暑くないかまたはソフトウエア企業でないかまたはどちらもだ fact13: そのフィンガーは間違い易くない fact14: 仮にその教育用コンピュータは動機付けないとすれば「それは移動し易くないし乱れ切らない」ということは真実だ fact15: 仮にある物は移動し易いということはないなら「それはＲウィン値でないしそれは二店舗である」ということは成り立たない fact16: もしそのフィンガーがマージフィールドだとすればあの単収は動機付けないし乱れ切らない fact17: もしもその教育用コンピュータがＲウィン値だとすればそれは羽ばたくけれど父親らしくない fact18: その教育用コンピュータはＲウィン値である
fact17 & fact18 -> int1: その教育用コンピュータは羽ばたくけれど父親らしくない; int1 -> hypothesis;
fact17 & fact18 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
その教育用コンピュータは蒸らすがしかし頼もしいということはない
fact23 -> int2: あの単収は動機付けないしさらに乱れ切るということはないならば「それは移動し易くない」ということは事実だ; fact21 -> int3: もしもその不返済はソフトウエア企業でないとすると「それはマージフィールドだが間違い易くない」ということは成り立たない; fact22 & fact26 -> int4: あの過剰筋緊張は蒸し暑くないかあるいはソフトウエア企業でないかもしくはどちらもだ; int4 & fact20 & fact19 -> int5: その不返済はソフトウエア企業でない; int3 & int5 -> int6: 「その不返済はマージフィールドである一方で間違い易くない」ということは真実でない; fact25 & int6 -> int7: そのフィンガーはマージフィールドである; fact24 & int7 -> int8: あの単収は動機付けるということはないし乱れ切らない; int2 & int8 -> int9: あの単収は移動し易くない; int9 -> int10: あるものは移動し易くない;
$facts$ = fact1: この一等賞が動機付けないかそれがマージフィールドでないかまたは両方であるとすればその教育用コンピュータは動機付けない fact2: その教育用コンピュータは父親らしくない fact3: もしもあの過剰筋緊張がソフトウエア企業でないとしたらその不返済はソフトウエア企業でない fact4: この引き込みはＲウィン値である fact5: もし仮にあの過剰筋緊張が蒸し暑くないとするとその不返済はソフトウエア企業でない fact6: もし仮にその教育用コンピュータがぶっといとすれば妊婦でない fact7: もしあの単収がソフトウエア企業だとするとこの一等賞は動機付けないかもしくはマージフィールドでないか両方である fact8: もし仮に何らかのものはソフトウエア企業でないとしたら「マージフィールドである一方で間違い易いということはない」ということは成り立つということはない fact9: もしも「その不返済がマージフィールドだけど間違い易くない」ということは成り立たないならばそのフィンガーはマージフィールドだ fact10: あの過剰筋緊張は化石化する fact11: もしも何らかの物は動機付けないしさらに乱れ切るということはないならば「それは移動し易くない」ということは事実である fact12: 「あの過剰筋緊張は化石化する」ということは成り立つとするとそれは蒸し暑くないかまたはソフトウエア企業でないかまたはどちらもだ fact13: そのフィンガーは間違い易くない fact14: 仮にその教育用コンピュータは動機付けないとすれば「それは移動し易くないし乱れ切らない」ということは真実だ fact15: 仮にある物は移動し易いということはないなら「それはＲウィン値でないしそれは二店舗である」ということは成り立たない fact16: もしそのフィンガーがマージフィールドだとすればあの単収は動機付けないし乱れ切らない fact17: もしもその教育用コンピュータがＲウィン値だとすればそれは羽ばたくけれど父親らしくない fact18: その教育用コンピュータはＲウィン値である ; $hypothesis$ = 「その教育用コンピュータは羽ばたかない」ということは成り立つ ; $proof$ = 
fact17 & fact18 -> int1: その教育用コンピュータは羽ばたくけれど父親らしくない; int1 -> hypothesis; __DISPROVED__
事実1: この一等賞が動機付けないかそれがマージフィールドでないかまたは両方であるとすればその教育用コンピュータは動機付けない
事実2: その教育用コンピュータは父親らしくない
事実3: もしもあの過剰筋緊張がソフトウエア企業でないとしたらその不返済はソフトウエア企業でない
事実4: この引き込みはＲウィン値である
事実5: もし仮にあの過剰筋緊張が蒸し暑くないとするとその不返済はソフトウエア企業でない
事実6: もし仮にその教育用コンピュータがぶっといとすれば妊婦でない
事実7: もしあの単収がソフトウエア企業だとするとこの一等賞は動機付けないかもしくはマージフィールドでないか両方である
事実8: もし仮に何らかのものはソフトウエア企業でないとしたら「マージフィールドである一方で間違い易いということはない」ということは成り立つということはない
事実9: もしも「その不返済がマージフィールドだけど間違い易くない」ということは成り立たないならばそのフィンガーはマージフィールドだ
事実10: あの過剰筋緊張は化石化する
事実11: もしも何らかの物は動機付けないしさらに乱れ切るということはないならば「それは移動し易くない」ということは事実である
事実12: 「あの過剰筋緊張は化石化する」ということは成り立つとするとそれは蒸し暑くないかまたはソフトウエア企業でないかまたはどちらもだ
事実13: そのフィンガーは間違い易くない
事実14: 仮にその教育用コンピュータは動機付けないとすれば「それは移動し易くないし乱れ切らない」ということは真実だ
事実15: 仮にある物は移動し易いということはないなら「それはＲウィン値でないしそれは二店舗である」ということは成り立たない
事実16: もしそのフィンガーがマージフィールドだとすればあの単収は動機付けないし乱れ切らない
事実17: もしもその教育用コンピュータがＲウィン値だとすればそれは羽ばたくけれど父親らしくない
事実18: その教育用コンピュータはＲウィン値である

仮説: 「その教育用コンピュータは羽ばたかない」ということは成り立つ
1. 事実17と事実18から、推論1: "その教育用コンピュータは羽ばたくけれど父親らしくない"が導かれる
2. 推論1から、仮説が否定される

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