この十七世紀中頃は急く
fact1: もし仮にあのＩＤＳＡが教育支援計画だしそれは行き来するとしたらあの正式名は製造物でない fact2: もしもあの正式名が熱いとするとこの十七世紀中頃は急く fact3: 仮に「「あの正式名は熱くないし交わらない」ということは偽でない」ということは成り立たないならばあの十七世紀中頃は急く fact4: もし仮にあるものは製造物でないならば「熱くないしまた交わらない」ということは誤りだ fact5: 「あのＩＤＳＡは教育支援計画であるししかも行き来する」ということは本当である fact6: 「あの正式名は急く一方で熱いということはない」ということは間違いだ
fact1 & fact5 -> int1: あの正式名は製造物でない; fact4 -> int2: もしあの正式名は製造物であるということはないとすると「それは熱くないし加えて交わらない」ということは本当でない; int1 & int2 -> int3: 「あの正式名は熱くないししかも交わらない」ということは成り立たない; int3 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にあのＩＤＳＡが教育支援計画だしそれは行き来するとしたらあの正式名は製造物でない fact2: もしもあの正式名が熱いとするとこの十七世紀中頃は急く fact3: 仮に「「あの正式名は熱くないし交わらない」ということは偽でない」ということは成り立たないならばあの十七世紀中頃は急く fact4: もし仮にあるものは製造物でないならば「熱くないしまた交わらない」ということは誤りだ fact5: 「あのＩＤＳＡは教育支援計画であるししかも行き来する」ということは本当である fact6: 「あの正式名は急く一方で熱いということはない」ということは間違いだ ; $hypothesis$ = この十七世紀中頃は急く ; $proof$ = 
fact1 & fact5 -> int1: あの正式名は製造物でない; fact4 -> int2: もしあの正式名は製造物であるということはないとすると「それは熱くないし加えて交わらない」ということは本当でない; int1 & int2 -> int3: 「あの正式名は熱くないししかも交わらない」ということは成り立たない; int3 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にあのＩＤＳＡが教育支援計画だしそれは行き来するとしたらあの正式名は製造物でない
事実2: もしもあの正式名が熱いとするとこの十七世紀中頃は急く
事実3: 仮に「「あの正式名は熱くないし交わらない」ということは偽でない」ということは成り立たないならばあの十七世紀中頃は急く
事実4: もし仮にあるものは製造物でないならば「熱くないしまた交わらない」ということは誤りだ
事実5: 「あのＩＤＳＡは教育支援計画であるししかも行き来する」ということは本当である
事実6: 「あの正式名は急く一方で熱いということはない」ということは間違いだ

仮説: この十七世紀中頃は急く
1. 事実1と事実5から、推論1: "あの正式名は製造物でない"が導かれる
2. 事実4から、推論2: "もしあの正式名は製造物であるということはないとすると「それは熱くないし加えて交わらない」ということは本当でない"が導かれる
3. 推論1と推論2から、推論3: "「あの正式名は熱くないししかも交わらない」ということは成り立たない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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