このＣＦＣは起き上がらないし艶めかしくない
fact1: もしもあの目印が立て難いとすると太り易い fact2: 「仮にあの目印が補間しなくてかつ大宰府発掘調査指導委員会でないならばこのＣＦＣは起き上がらない」ということは真実だ fact3: あの目印は補間しなくてその上大宰府発掘調査指導委員会でない fact4: もしもなにかは熱くないなら艶めかしくない一方で起き上がる fact5: もしも「何かは太り易いということはないしおまけにそれは立て難くない」ということは成り立たないなら広縁でない fact6: あの目印は補間しない fact7: 仮にあの避難先が長しということはないし熱くないとしたらこのＣＦＣは艶めかしくない fact8: もしもあの目印が太り易いとしたらそれは広縁だ fact9: もし仮にあの目印が広縁でないし長しないならあの脱工業段階は熱くない fact10: あの避難先は長しということはないしそれに熱くない fact11: もしもあの目印は広縁であるとすれば長しということはないが熱い
fact2 & fact3 -> int1: このＣＦＣは起き上がらない; fact7 & fact10 -> int2: このＣＦＣは艶めかしくない; int1 & int2 -> hypothesis;
あの脱工業段階は艶めかしくない
fact12 -> int3: 仮にあの脱工業段階が熱くないとすれば艶めかしくないけど起き上がる; fact14 -> int4: もし「あの目印は太り易くないしさらに立て難くない」ということは真実でないならば「広縁でない」ということは本当だ;
$facts$ = fact1: もしもあの目印が立て難いとすると太り易い fact2: 「仮にあの目印が補間しなくてかつ大宰府発掘調査指導委員会でないならばこのＣＦＣは起き上がらない」ということは真実だ fact3: あの目印は補間しなくてその上大宰府発掘調査指導委員会でない fact4: もしもなにかは熱くないなら艶めかしくない一方で起き上がる fact5: もしも「何かは太り易いということはないしおまけにそれは立て難くない」ということは成り立たないなら広縁でない fact6: あの目印は補間しない fact7: 仮にあの避難先が長しということはないし熱くないとしたらこのＣＦＣは艶めかしくない fact8: もしもあの目印が太り易いとしたらそれは広縁だ fact9: もし仮にあの目印が広縁でないし長しないならあの脱工業段階は熱くない fact10: あの避難先は長しということはないしそれに熱くない fact11: もしもあの目印は広縁であるとすれば長しということはないが熱い ; $hypothesis$ = このＣＦＣは起き上がらないし艶めかしくない ; $proof$ = 
fact2 & fact3 -> int1: このＣＦＣは起き上がらない; fact7 & fact10 -> int2: このＣＦＣは艶めかしくない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあの目印が立て難いとすると太り易い
事実2: 「仮にあの目印が補間しなくてかつ大宰府発掘調査指導委員会でないならばこのＣＦＣは起き上がらない」ということは真実だ
事実3: あの目印は補間しなくてその上大宰府発掘調査指導委員会でない
事実4: もしもなにかは熱くないなら艶めかしくない一方で起き上がる
事実5: もしも「何かは太り易いということはないしおまけにそれは立て難くない」ということは成り立たないなら広縁でない
事実6: あの目印は補間しない
事実7: 仮にあの避難先が長しということはないし熱くないとしたらこのＣＦＣは艶めかしくない
事実8: もしもあの目印が太り易いとしたらそれは広縁だ
事実9: もし仮にあの目印が広縁でないし長しないならあの脱工業段階は熱くない
事実10: あの避難先は長しということはないしそれに熱くない
事実11: もしもあの目印は広縁であるとすれば長しということはないが熱い

仮説: このＣＦＣは起き上がらないし艶めかしくない
1. 事実2と事実3から、推論1: "このＣＦＣは起き上がらない"が導かれる
2. 事実7と事実10から、推論2: "このＣＦＣは艶めかしくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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