あのＦＳＨはＩＴ化だ
fact1: あの浅海域はＩＴ化だ fact2: あのＦＳＨは剥き出す fact3: あのＦＳＨはＩＴ化だ fact4: あのＦＳＨは白Ｂである fact5: 「その非嫡出子はＩＴ化である」ということは本当である fact6: 「あの単純平均はＩＴ化だ」ということは真実である fact7: 「大差無いということはないものはＩＴ化だしまた墨守する」ということは事実だ fact8: もし仮にある物が墨守しないとするとＩＴ化でない fact9: その意識一般はＩＴ化だ fact10: 「あの最高顧問はＩＴ化である」ということは成り立つ fact11: あのＦＳＨは何気無い fact12: この病理はＩＴ化である fact13: あのＦＳＨは敷く fact14: 「この有効範囲はＩＴ化である」ということは正しい fact15: この作成モードはＩＴ化である fact16: 「あのＦＳＨは名状し難い」ということは成り立つ fact17: あのＦＳＨは吹っ切る
fact3 -> hypothesis;
fact3 -> hypothesis;
この大石はＩＴ化である
fact18 -> int1: もしこの大石が大差無くないとすればＩＴ化だしさらに墨守する;
$facts$ = fact1: あの浅海域はＩＴ化だ fact2: あのＦＳＨは剥き出す fact3: あのＦＳＨはＩＴ化だ fact4: あのＦＳＨは白Ｂである fact5: 「その非嫡出子はＩＴ化である」ということは本当である fact6: 「あの単純平均はＩＴ化だ」ということは真実である fact7: 「大差無いということはないものはＩＴ化だしまた墨守する」ということは事実だ fact8: もし仮にある物が墨守しないとするとＩＴ化でない fact9: その意識一般はＩＴ化だ fact10: 「あの最高顧問はＩＴ化である」ということは成り立つ fact11: あのＦＳＨは何気無い fact12: この病理はＩＴ化である fact13: あのＦＳＨは敷く fact14: 「この有効範囲はＩＴ化である」ということは正しい fact15: この作成モードはＩＴ化である fact16: 「あのＦＳＨは名状し難い」ということは成り立つ fact17: あのＦＳＨは吹っ切る ; $hypothesis$ = あのＦＳＨはＩＴ化だ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの浅海域はＩＴ化だ
事実2: あのＦＳＨは剥き出す
事実3: あのＦＳＨはＩＴ化だ
事実4: あのＦＳＨは白Ｂである
事実5: 「その非嫡出子はＩＴ化である」ということは本当である
事実6: 「あの単純平均はＩＴ化だ」ということは真実である
事実7: 「大差無いということはないものはＩＴ化だしまた墨守する」ということは事実だ
事実8: もし仮にある物が墨守しないとするとＩＴ化でない
事実9: その意識一般はＩＴ化だ
事実10: 「あの最高顧問はＩＴ化である」ということは成り立つ
事実11: あのＦＳＨは何気無い
事実12: この病理はＩＴ化である
事実13: あのＦＳＨは敷く
事実14: 「この有効範囲はＩＴ化である」ということは正しい
事実15: この作成モードはＩＴ化である
事実16: 「あのＦＳＨは名状し難い」ということは成り立つ
事実17: あのＦＳＨは吹っ切る

仮説: あのＦＳＨはＩＴ化だ
1. 事実3から、仮説が導かれる

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