この団体戦は攻め掛かる
fact1: この団体戦は拭き終わる fact2: もし仮にこの団体戦が妻帯するとすればその現品は攻め掛かる fact3: この手抜き工事は攻め掛かる fact4: あのケーブルテレビは攻め掛かる fact5: この反応機構は攻め掛かる fact6: 「この十七年前は攻め掛かる」ということは事実だ fact7: 「あの適正在庫は攻め掛かる」ということは本当だ fact8: この団体戦はコーラスである fact9: この団体戦は成約時代である fact10: この団体戦は第二十一章である fact11: どれもこれもは陥り易くない fact12: 「この原盤は攻め掛かる」ということは成り立つ fact13: もし「とあるものは分化発達するし更にそれは民間所有だ」ということは間違っているとすると「法律規定でない」ということは確かだ fact14: この団体戦は耐性化する fact15: 「この団体戦は物悲しい」ということは誤りでない fact16: この団体戦は攻め掛かる
fact16 -> hypothesis;
fact16 -> hypothesis;
その現品は攻め掛かる
fact18 -> int1: 仮に「あのメラニンは分化発達するしさらに民間所有だ」ということは誤りであるとするとそれは法律規定だということはない; fact19 -> int2: あのメラニンは陥り易くない;
$facts$ = fact1: この団体戦は拭き終わる fact2: もし仮にこの団体戦が妻帯するとすればその現品は攻め掛かる fact3: この手抜き工事は攻め掛かる fact4: あのケーブルテレビは攻め掛かる fact5: この反応機構は攻め掛かる fact6: 「この十七年前は攻め掛かる」ということは事実だ fact7: 「あの適正在庫は攻め掛かる」ということは本当だ fact8: この団体戦はコーラスである fact9: この団体戦は成約時代である fact10: この団体戦は第二十一章である fact11: どれもこれもは陥り易くない fact12: 「この原盤は攻め掛かる」ということは成り立つ fact13: もし「とあるものは分化発達するし更にそれは民間所有だ」ということは間違っているとすると「法律規定でない」ということは確かだ fact14: この団体戦は耐性化する fact15: 「この団体戦は物悲しい」ということは誤りでない fact16: この団体戦は攻め掛かる ; $hypothesis$ = この団体戦は攻め掛かる ; $proof$ = 
fact16 -> hypothesis; __PROVED__
事実1: この団体戦は拭き終わる
事実2: もし仮にこの団体戦が妻帯するとすればその現品は攻め掛かる
事実3: この手抜き工事は攻め掛かる
事実4: あのケーブルテレビは攻め掛かる
事実5: この反応機構は攻め掛かる
事実6: 「この十七年前は攻め掛かる」ということは事実だ
事実7: 「あの適正在庫は攻め掛かる」ということは本当だ
事実8: この団体戦はコーラスである
事実9: この団体戦は成約時代である
事実10: この団体戦は第二十一章である
事実11: どれもこれもは陥り易くない
事実12: 「この原盤は攻め掛かる」ということは成り立つ
事実13: もし「とあるものは分化発達するし更にそれは民間所有だ」ということは間違っているとすると「法律規定でない」ということは確かだ
事実14: この団体戦は耐性化する
事実15: 「この団体戦は物悲しい」ということは誤りでない
事実16: この団体戦は攻め掛かる

仮説: この団体戦は攻め掛かる
1. 事実16から、仮説が導かれる

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