「十年程度でないなら言い触らさない」物はある
fact1: この二十世紀初めは真っ黒くないならば「相提携する」ということは間違っているということはない fact2: 「もし十年程度だとすれば言い触らさない」ものはある fact3: 「もし仮に犯人扱いするなら理解し難くない」物はある fact4: もしもなにかは十年程度でないとすると言い触らさない fact5: 「仮に十年程度であるということはないとしたら言い触らす」物はある fact6: もし何かはぶん投げないとすると減らし始めるということはない
fact4 -> int1: 仮にこの二十世紀初めが十年程度だということはないとするとそれは言い触らさない; int1 -> hypothesis;
$facts$ = fact1: この二十世紀初めは真っ黒くないならば「相提携する」ということは間違っているということはない fact2: 「もし十年程度だとすれば言い触らさない」ものはある fact3: 「もし仮に犯人扱いするなら理解し難くない」物はある fact4: もしもなにかは十年程度でないとすると言い触らさない fact5: 「仮に十年程度であるということはないとしたら言い触らす」物はある fact6: もし何かはぶん投げないとすると減らし始めるということはない ; $hypothesis$ = 「十年程度でないなら言い触らさない」物はある ; $proof$ = 
fact4 -> int1: 仮にこの二十世紀初めが十年程度だということはないとするとそれは言い触らさない; int1 -> hypothesis; __PROVED__
事実1: この二十世紀初めは真っ黒くないならば「相提携する」ということは間違っているということはない
事実2: 「もし十年程度だとすれば言い触らさない」ものはある
事実3: 「もし仮に犯人扱いするなら理解し難くない」物はある
事実4: もしもなにかは十年程度でないとすると言い触らさない
事実5: 「仮に十年程度であるということはないとしたら言い触らす」物はある
事実6: もし何かはぶん投げないとすると減らし始めるということはない

仮説: 「十年程度でないなら言い触らさない」物はある
1. 事実4から、推論1: "仮にこの二十世紀初めが十年程度だということはないとするとそれは言い触らさない"が導かれる
2. 推論1から、仮説が導かれる

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