この御活躍振りは混入し易い
fact1: 「仮にこの十ミリメートル以上が針金であるかまたは御偉いかもしくは両方ともだとすればあの晩餐会キャンペーンは関節可動域でない」ということは本当だ fact2: その五百年後は勇ましいとしたら「この晩餐会キャンペーンは当期中だ一方でそれは玄界灘でない」ということは事実と異なる fact3: がたいは勇ましい fact4: もしもとあるものは発言出来ないならば「太り易いししかも厚かましい」ということは偽だ fact5: 「もし仮になんらかの物は関節可動域であるならば混入し易い」ということは嘘でない fact6: もし「「太り易いしまた厚かましい」ということは偽である」物があるとしたらこの序の口はＩワンだ fact7: 仮にこの十ミリメートル以上は御偉いなら「この晩餐会キャンペーンは関節可動域である」ということは間違っている fact8: 仮にこの晩餐会キャンペーンが関節可動域でないならばその五百年後は関節可動域であるということはないかもしくは取り込み量でないかあるいはどちらもである fact9: もしも直り難くないものが心細いとすればこの補任は発言出来ない fact10: もし仮にその五百年後が取り込み量でないとすればこの御活躍振りは混入し易くない fact11: もしこの晩餐会キャンペーンが取り込み量だとすればその五百年後は関節可動域でない fact12: 「この十ミリメートル以上は針金であるかあるいはそれは御偉いかまたは両方である」ということは正しい fact13: もしその五百年後は関節可動域であるということはないとしたら「この御活躍振りは混入し易くない」ということは成り立つ fact14: もしもあの体験学習室が咲き出すならそれは直り難くないし心細い fact15: もしもその五百年後が取り込み量でないならばこの晩餐会キャンペーンは取り込み量でないかまたは関節可動域でないかまたは両方である fact16: もしもこの十ミリメートル以上が取り込み量でないとするとこの御活躍振りは関節可動域だし混入し易い fact17: 仮に「この序の口はＩワンだ」ということは確かであるならばその五百年後はがたいだ fact18: あの体験学習室は咲き出す fact19: この十ミリメートル以上は関節可動域でないか針金でない fact20: 仮にその五百年後は取り込み量でないとすると「この御活躍振りは混入し易い」ということは成り立つ
fact1 & fact12 -> int1: この晩餐会キャンペーンは関節可動域でない; int1 & fact8 -> int2: その五百年後は関節可動域でないかまたは取り込み量だということはない; int2 & fact13 & fact10 -> hypothesis;
この御活躍振りは混入し易い
fact21 -> int3: もしこの御活躍振りは関節可動域であるとするとそれは混入し易い;
$facts$ = fact1: 「仮にこの十ミリメートル以上が針金であるかまたは御偉いかもしくは両方ともだとすればあの晩餐会キャンペーンは関節可動域でない」ということは本当だ fact2: その五百年後は勇ましいとしたら「この晩餐会キャンペーンは当期中だ一方でそれは玄界灘でない」ということは事実と異なる fact3: がたいは勇ましい fact4: もしもとあるものは発言出来ないならば「太り易いししかも厚かましい」ということは偽だ fact5: 「もし仮になんらかの物は関節可動域であるならば混入し易い」ということは嘘でない fact6: もし「「太り易いしまた厚かましい」ということは偽である」物があるとしたらこの序の口はＩワンだ fact7: 仮にこの十ミリメートル以上は御偉いなら「この晩餐会キャンペーンは関節可動域である」ということは間違っている fact8: 仮にこの晩餐会キャンペーンが関節可動域でないならばその五百年後は関節可動域であるということはないかもしくは取り込み量でないかあるいはどちらもである fact9: もしも直り難くないものが心細いとすればこの補任は発言出来ない fact10: もし仮にその五百年後が取り込み量でないとすればこの御活躍振りは混入し易くない fact11: もしこの晩餐会キャンペーンが取り込み量だとすればその五百年後は関節可動域でない fact12: 「この十ミリメートル以上は針金であるかあるいはそれは御偉いかまたは両方である」ということは正しい fact13: もしその五百年後は関節可動域であるということはないとしたら「この御活躍振りは混入し易くない」ということは成り立つ fact14: もしもあの体験学習室が咲き出すならそれは直り難くないし心細い fact15: もしもその五百年後が取り込み量でないならばこの晩餐会キャンペーンは取り込み量でないかまたは関節可動域でないかまたは両方である fact16: もしもこの十ミリメートル以上が取り込み量でないとするとこの御活躍振りは関節可動域だし混入し易い fact17: 仮に「この序の口はＩワンだ」ということは確かであるならばその五百年後はがたいだ fact18: あの体験学習室は咲き出す fact19: この十ミリメートル以上は関節可動域でないか針金でない fact20: 仮にその五百年後は取り込み量でないとすると「この御活躍振りは混入し易い」ということは成り立つ ; $hypothesis$ = この御活躍振りは混入し易い ; $proof$ = 
fact1 & fact12 -> int1: この晩餐会キャンペーンは関節可動域でない; int1 & fact8 -> int2: その五百年後は関節可動域でないかまたは取り込み量だということはない; int2 & fact13 & fact10 -> hypothesis; __DISPROVED__
事実1: 「仮にこの十ミリメートル以上が針金であるかまたは御偉いかもしくは両方ともだとすればあの晩餐会キャンペーンは関節可動域でない」ということは本当だ
事実2: その五百年後は勇ましいとしたら「この晩餐会キャンペーンは当期中だ一方でそれは玄界灘でない」ということは事実と異なる
事実3: がたいは勇ましい
事実4: もしもとあるものは発言出来ないならば「太り易いししかも厚かましい」ということは偽だ
事実5: 「もし仮になんらかの物は関節可動域であるならば混入し易い」ということは嘘でない
事実6: もし「「太り易いしまた厚かましい」ということは偽である」物があるとしたらこの序の口はＩワンだ
事実7: 仮にこの十ミリメートル以上は御偉いなら「この晩餐会キャンペーンは関節可動域である」ということは間違っている
事実8: 仮にこの晩餐会キャンペーンが関節可動域でないならばその五百年後は関節可動域であるということはないかもしくは取り込み量でないかあるいはどちらもである
事実9: もしも直り難くないものが心細いとすればこの補任は発言出来ない
事実10: もし仮にその五百年後が取り込み量でないとすればこの御活躍振りは混入し易くない
事実11: もしこの晩餐会キャンペーンが取り込み量だとすればその五百年後は関節可動域でない
事実12: 「この十ミリメートル以上は針金であるかあるいはそれは御偉いかまたは両方である」ということは正しい
事実13: もしその五百年後は関節可動域であるということはないとしたら「この御活躍振りは混入し易くない」ということは成り立つ
事実14: もしもあの体験学習室が咲き出すならそれは直り難くないし心細い
事実15: もしもその五百年後が取り込み量でないならばこの晩餐会キャンペーンは取り込み量でないかまたは関節可動域でないかまたは両方である
事実16: もしもこの十ミリメートル以上が取り込み量でないとするとこの御活躍振りは関節可動域だし混入し易い
事実17: 仮に「この序の口はＩワンだ」ということは確かであるならばその五百年後はがたいだ
事実18: あの体験学習室は咲き出す
事実19: この十ミリメートル以上は関節可動域でないか針金でない
事実20: 仮にその五百年後は取り込み量でないとすると「この御活躍振りは混入し易い」ということは成り立つ

仮説: この御活躍振りは混入し易い
1. 事実1と事実12から、推論1: "この晩餐会キャンペーンは関節可動域でない"が導かれる
2. 推論1と事実8から、推論2: "その五百年後は関節可動域でないかまたは取り込み量だということはない"が導かれる
3. 推論2と事実13と事実10から、仮説が否定される

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