あの乾布摩擦は来難い
fact1: もしもそのニュー・ツーリズム時代が付託するかあるいはそれが選択され易いということはないかまたは両方ともであるならばあの乾布摩擦は付託する fact2: その十五年前は訂正印でない fact3: あの乾布摩擦は訂正印でない fact4: その十五年前は来難くないしまたそれは訂正印でない fact5: 仮にとある物が付託すれば本校だしそれは引き出し易くない fact6: そのニュー・ツーリズム時代はＣＡＳＲでない fact7: 仮にそのニュー・ツーリズム時代がバックアップフォルダでないとすれば付託するか選択され易くない fact8: もしもそのニュー・ツーリズム時代が小狡いかあるいはそれは肺挫傷であるかまたは両方ともであるとしたらそれはバックアップフォルダでない fact9: 仮にそのニュー・ツーリズム時代がＣＡＳＲでないならその十五年前は訂正印でない fact10: 悲しないものは剥がれ易くないけど血塗る fact11: もしもその十五年前が面目無くないがしかし訂正印だとしたらあの乾布摩擦は来難くない fact12: 何らかのものはファンディングストラクチャーなら「見分け難い一方で当て付けはましくらない」ということは偽である fact13: もし仮に本校が引き出し易くないならば悲しない fact14: もし仮にそのニュー・ツーリズム時代がＣＡＳＲだということはないならばその十五年前は面目無くないし訂正印でない fact15: その十五年前は御負け付きでなくて加えてそれは水運路でない fact16: その十五年前は訂正印でないしまた来難いということはない fact17: その十五年前が来難くないししかもそれが面目無くないならばあの乾布摩擦は訂正印だということはない fact18: もしもなんらかのものはＣＡＳＲだとすれば「それは来難い」ということは事実である fact19: もし仮にそのニュー・ツーリズム時代が訂正印でなくてそれが面目無くないとしたらその十五年前はＣＡＳＲであるということはない fact20: もしもなにかは血塗るとすればそれはファンディングストラクチャーだ fact21: 「何らかの物が見分け難いがそれが当て付けはましくらない」ということは成り立たないならＣＡＳＲだ fact22: もしその十五年前が面目無くないしさらに訂正印だということはないとするとあの乾布摩擦は来難くない
fact14 & fact6 -> int1: その十五年前は面目無くないし訂正印であるということはない; int1 & fact22 -> hypothesis;
fact14 & fact6 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact22 -> hypothesis;
あの乾布摩擦は来難い
fact25 -> int2: もし仮にあの乾布摩擦はＣＡＳＲであるならば来難い; fact24 -> int3: 仮に「あの乾布摩擦は見分け難いが当て付けはましくらない」ということは誤っているとしたらそれはＣＡＳＲだ; fact32 -> int4: 仮にあの乾布摩擦はファンディングストラクチャーなら「見分け難い一方で当て付けはましくらない」ということは嘘だ; fact30 -> int5: 仮にあの乾布摩擦が血塗るとすればそれはファンディングストラクチャーである; fact28 -> int6: もしもあの乾布摩擦が悲しないとしたらそれは剥がれ易くないけれど血塗る; fact23 -> int7: もしあの乾布摩擦が本校だがしかし引き出し易くないとしたら悲しない; fact31 -> int8: もしあの乾布摩擦が付託するとすればそれは本校でしかもそれは引き出し易いということはない;
$facts$ = fact1: もしもそのニュー・ツーリズム時代が付託するかあるいはそれが選択され易いということはないかまたは両方ともであるならばあの乾布摩擦は付託する fact2: その十五年前は訂正印でない fact3: あの乾布摩擦は訂正印でない fact4: その十五年前は来難くないしまたそれは訂正印でない fact5: 仮にとある物が付託すれば本校だしそれは引き出し易くない fact6: そのニュー・ツーリズム時代はＣＡＳＲでない fact7: 仮にそのニュー・ツーリズム時代がバックアップフォルダでないとすれば付託するか選択され易くない fact8: もしもそのニュー・ツーリズム時代が小狡いかあるいはそれは肺挫傷であるかまたは両方ともであるとしたらそれはバックアップフォルダでない fact9: 仮にそのニュー・ツーリズム時代がＣＡＳＲでないならその十五年前は訂正印でない fact10: 悲しないものは剥がれ易くないけど血塗る fact11: もしもその十五年前が面目無くないがしかし訂正印だとしたらあの乾布摩擦は来難くない fact12: 何らかのものはファンディングストラクチャーなら「見分け難い一方で当て付けはましくらない」ということは偽である fact13: もし仮に本校が引き出し易くないならば悲しない fact14: もし仮にそのニュー・ツーリズム時代がＣＡＳＲだということはないならばその十五年前は面目無くないし訂正印でない fact15: その十五年前は御負け付きでなくて加えてそれは水運路でない fact16: その十五年前は訂正印でないしまた来難いということはない fact17: その十五年前が来難くないししかもそれが面目無くないならばあの乾布摩擦は訂正印だということはない fact18: もしもなんらかのものはＣＡＳＲだとすれば「それは来難い」ということは事実である fact19: もし仮にそのニュー・ツーリズム時代が訂正印でなくてそれが面目無くないとしたらその十五年前はＣＡＳＲであるということはない fact20: もしもなにかは血塗るとすればそれはファンディングストラクチャーだ fact21: 「何らかの物が見分け難いがそれが当て付けはましくらない」ということは成り立たないならＣＡＳＲだ fact22: もしその十五年前が面目無くないしさらに訂正印だということはないとするとあの乾布摩擦は来難くない ; $hypothesis$ = あの乾布摩擦は来難い ; $proof$ = 
fact14 & fact6 -> int1: その十五年前は面目無くないし訂正印であるということはない; int1 & fact22 -> hypothesis; __DISPROVED__
事実1: もしもそのニュー・ツーリズム時代が付託するかあるいはそれが選択され易いということはないかまたは両方ともであるならばあの乾布摩擦は付託する
事実2: その十五年前は訂正印でない
事実3: あの乾布摩擦は訂正印でない
事実4: その十五年前は来難くないしまたそれは訂正印でない
事実5: 仮にとある物が付託すれば本校だしそれは引き出し易くない
事実6: そのニュー・ツーリズム時代はＣＡＳＲでない
事実7: 仮にそのニュー・ツーリズム時代がバックアップフォルダでないとすれば付託するか選択され易くない
事実8: もしもそのニュー・ツーリズム時代が小狡いかあるいはそれは肺挫傷であるかまたは両方ともであるとしたらそれはバックアップフォルダでない
事実9: 仮にそのニュー・ツーリズム時代がＣＡＳＲでないならその十五年前は訂正印でない
事実10: 悲しないものは剥がれ易くないけど血塗る
事実11: もしもその十五年前が面目無くないがしかし訂正印だとしたらあの乾布摩擦は来難くない
事実12: 何らかのものはファンディングストラクチャーなら「見分け難い一方で当て付けはましくらない」ということは偽である
事実13: もし仮に本校が引き出し易くないならば悲しない
事実14: もし仮にそのニュー・ツーリズム時代がＣＡＳＲだということはないならばその十五年前は面目無くないし訂正印でない
事実15: その十五年前は御負け付きでなくて加えてそれは水運路でない
事実16: その十五年前は訂正印でないしまた来難いということはない
事実17: その十五年前が来難くないししかもそれが面目無くないならばあの乾布摩擦は訂正印だということはない
事実18: もしもなんらかのものはＣＡＳＲだとすれば「それは来難い」ということは事実である
事実19: もし仮にそのニュー・ツーリズム時代が訂正印でなくてそれが面目無くないとしたらその十五年前はＣＡＳＲであるということはない
事実20: もしもなにかは血塗るとすればそれはファンディングストラクチャーだ
事実21: 「何らかの物が見分け難いがそれが当て付けはましくらない」ということは成り立たないならＣＡＳＲだ
事実22: もしその十五年前が面目無くないしさらに訂正印だということはないとするとあの乾布摩擦は来難くない

仮説: あの乾布摩擦は来難い
1. 事実14と事実6から、推論1: "その十五年前は面目無くないし訂正印であるということはない"が導かれる
2. 推論1と事実22から、仮説が否定される

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