「もし「分化途上でないし更に熱り立たない」ということは成り立たないとすれば襲い掛からない」物はある
fact1: 「もし仮に「分化途上でなくてしかも熱り立たない」ということは間違いであるとしたら襲い掛かる」ものはある fact2: もしもこの血色素が分化途上だということはないしその上熱り立たないとすれば襲い掛からない fact3: 「もし熱り立つなら襲い掛からない」物はある fact4: 「仮に「「分化途上だということはないがしかし熱り立つ」ということは本当である」ということは成り立たないならば襲い掛からない」ものはある fact5: 「もし分化途上であるならば「襲い掛からない」ということは正しい」物はある fact6: その男湯が分化途上だとすると外来文化でない fact7: 「分化途上でなくて熱り立たないとすると襲い掛かるということはない」物はある fact8: もし仮に「この血色素は分化途上でなくて加えて熱り立たない」ということは事実でないならば襲い掛からない fact9: 「「分化途上であるがしかし熱り立たない」ということは成り立たないならば襲い掛かるということはない」ものはある fact10: もしも「なんらかの物は面接交渉事件でないし襲い掛かるということはない」ということは誤りだとすれば気まずくない fact11: もしもこの血色素が熱り立てばそれは退官しない fact12: もしも「この血色素は分化途上であるということはないし熱り立たない」ということは間違いならばそれは襲い掛かる fact13: もし仮に「この血色素は分化途上でないがそれは熱り立つ」ということは嘘だとしたらそれは襲い掛かるということはない fact14: もしこの血色素は分化途上であるならばそれは襲い掛からない
fact8 -> hypothesis;
fact8 -> hypothesis;
もしも「あのセカンダリーは面接交渉事件だということはなくて襲い掛からない」ということは成り立つということはないとすると「それは気まずくない」ということは真実である
fact15 -> hypothesis;
$facts$ = fact1: 「もし仮に「分化途上でなくてしかも熱り立たない」ということは間違いであるとしたら襲い掛かる」ものはある fact2: もしもこの血色素が分化途上だということはないしその上熱り立たないとすれば襲い掛からない fact3: 「もし熱り立つなら襲い掛からない」物はある fact4: 「仮に「「分化途上だということはないがしかし熱り立つ」ということは本当である」ということは成り立たないならば襲い掛からない」ものはある fact5: 「もし分化途上であるならば「襲い掛からない」ということは正しい」物はある fact6: その男湯が分化途上だとすると外来文化でない fact7: 「分化途上でなくて熱り立たないとすると襲い掛かるということはない」物はある fact8: もし仮に「この血色素は分化途上でなくて加えて熱り立たない」ということは事実でないならば襲い掛からない fact9: 「「分化途上であるがしかし熱り立たない」ということは成り立たないならば襲い掛かるということはない」ものはある fact10: もしも「なんらかの物は面接交渉事件でないし襲い掛かるということはない」ということは誤りだとすれば気まずくない fact11: もしもこの血色素が熱り立てばそれは退官しない fact12: もしも「この血色素は分化途上であるということはないし熱り立たない」ということは間違いならばそれは襲い掛かる fact13: もし仮に「この血色素は分化途上でないがそれは熱り立つ」ということは嘘だとしたらそれは襲い掛かるということはない fact14: もしこの血色素は分化途上であるならばそれは襲い掛からない ; $hypothesis$ = 「もし「分化途上でないし更に熱り立たない」ということは成り立たないとすれば襲い掛からない」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「もし仮に「分化途上でなくてしかも熱り立たない」ということは間違いであるとしたら襲い掛かる」ものはある
事実2: もしもこの血色素が分化途上だということはないしその上熱り立たないとすれば襲い掛からない
事実3: 「もし熱り立つなら襲い掛からない」物はある
事実4: 「仮に「「分化途上だということはないがしかし熱り立つ」ということは本当である」ということは成り立たないならば襲い掛からない」ものはある
事実5: 「もし分化途上であるならば「襲い掛からない」ということは正しい」物はある
事実6: その男湯が分化途上だとすると外来文化でない
事実7: 「分化途上でなくて熱り立たないとすると襲い掛かるということはない」物はある
事実8: もし仮に「この血色素は分化途上でなくて加えて熱り立たない」ということは事実でないならば襲い掛からない
事実9: 「「分化途上であるがしかし熱り立たない」ということは成り立たないならば襲い掛かるということはない」ものはある
事実10: もしも「なんらかの物は面接交渉事件でないし襲い掛かるということはない」ということは誤りだとすれば気まずくない
事実11: もしもこの血色素が熱り立てばそれは退官しない
事実12: もしも「この血色素は分化途上であるということはないし熱り立たない」ということは間違いならばそれは襲い掛かる
事実13: もし仮に「この血色素は分化途上でないがそれは熱り立つ」ということは嘘だとしたらそれは襲い掛かるということはない
事実14: もしこの血色素は分化途上であるならばそれは襲い掛からない

仮説: 「もし「分化途上でないし更に熱り立たない」ということは成り立たないとすれば襲い掛からない」物はある
1. 事実8から、仮説が導かれる

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