このＯＨＳＡＳは覚え難くて加えて燃え移る
fact1: このＯＨＳＡＳは方支配であるしそれは弱まる fact2: もし「なにがしかの物は御仕舞い為さらないがしかし省ける」ということは間違いであるとしたら小汚いということはない fact3: このＯＨＳＡＳは覚え難い fact4: 使用し易くない物は省けない一方で御仕舞い為さる fact5: あのゴールド塗料は覚え難い fact6: その旧臣は御襁褓でない fact7: もしとあるものは小汚いということはないとすると「それは覚え難くてまたそれは燃え移る」ということは事実だということはない fact8: このＯＨＳＡＳは燃え移る fact9: 仮にあの養成が御襁褓でないならばあの緩衝地帯は恥ずかしということはないか使用し易いか両方である fact10: もしあるものが省けない一方でそれが御仕舞い為さるとするとそれは小汚くない fact11: あの一時間前は燃え移る fact12: あの防御因子は燃え移る fact13: もしもこの緩衝地帯が恥ずかしということはないかまたは使用し易いかどちらもであるとしたらこのＯＨＳＡＳは使用し易くない fact14: このＯＨＳＡＳは花だ
fact3 & fact8 -> hypothesis;
fact3 & fact8 -> hypothesis;
「このＯＨＳＡＳは覚え難くてかつ燃え移る」ということは成り立つということはない
fact19 -> int1: 仮にこのＯＨＳＡＳは小汚くないなら「「それは覚え難いしその上燃え移る」ということは成り立つ」ということは誤っている; fact16 -> int2: 「もしもこのＯＨＳＡＳが省けないけど御仕舞い為さるとすればこのＯＨＳＡＳは小汚くない」ということは成り立つ; fact18 -> int3: このＯＨＳＡＳは使用し易くないならばそれは省けないが御仕舞い為さる; fact20 -> int4: その旧臣は御襁褓でないかまたはそれは世界一周旅行だということはないかもしくは両方ともだ; int4 -> int5: 「御襁褓でないか世界一周旅行でない」物はある;
$facts$ = fact1: このＯＨＳＡＳは方支配であるしそれは弱まる fact2: もし「なにがしかの物は御仕舞い為さらないがしかし省ける」ということは間違いであるとしたら小汚いということはない fact3: このＯＨＳＡＳは覚え難い fact4: 使用し易くない物は省けない一方で御仕舞い為さる fact5: あのゴールド塗料は覚え難い fact6: その旧臣は御襁褓でない fact7: もしとあるものは小汚いということはないとすると「それは覚え難くてまたそれは燃え移る」ということは事実だということはない fact8: このＯＨＳＡＳは燃え移る fact9: 仮にあの養成が御襁褓でないならばあの緩衝地帯は恥ずかしということはないか使用し易いか両方である fact10: もしあるものが省けない一方でそれが御仕舞い為さるとするとそれは小汚くない fact11: あの一時間前は燃え移る fact12: あの防御因子は燃え移る fact13: もしもこの緩衝地帯が恥ずかしということはないかまたは使用し易いかどちらもであるとしたらこのＯＨＳＡＳは使用し易くない fact14: このＯＨＳＡＳは花だ ; $hypothesis$ = このＯＨＳＡＳは覚え難くて加えて燃え移る ; $proof$ = 
fact3 & fact8 -> hypothesis; __PROVED__
事実1: このＯＨＳＡＳは方支配であるしそれは弱まる
事実2: もし「なにがしかの物は御仕舞い為さらないがしかし省ける」ということは間違いであるとしたら小汚いということはない
事実3: このＯＨＳＡＳは覚え難い
事実4: 使用し易くない物は省けない一方で御仕舞い為さる
事実5: あのゴールド塗料は覚え難い
事実6: その旧臣は御襁褓でない
事実7: もしとあるものは小汚いということはないとすると「それは覚え難くてまたそれは燃え移る」ということは事実だということはない
事実8: このＯＨＳＡＳは燃え移る
事実9: 仮にあの養成が御襁褓でないならばあの緩衝地帯は恥ずかしということはないか使用し易いか両方である
事実10: もしあるものが省けない一方でそれが御仕舞い為さるとするとそれは小汚くない
事実11: あの一時間前は燃え移る
事実12: あの防御因子は燃え移る
事実13: もしもこの緩衝地帯が恥ずかしということはないかまたは使用し易いかどちらもであるとしたらこのＯＨＳＡＳは使用し易くない
事実14: このＯＨＳＡＳは花だ

仮説: このＯＨＳＡＳは覚え難くて加えて燃え移る
1. 事実3と事実8から、仮説が導かれる

よって、仮説が証明されました。