「「見辛くておまけに犯し難くない」ということは間違っているとしたらプロピオン酸な」物はある
fact1: もし仮に「その累計額は見辛くて犯し難い」ということは成り立たないとすると「プロピオン酸である」ということは事実である fact2: 仮に「その累計額は見辛いけれど犯し難くない」ということは誤っているとしたらプロピオン酸だ fact3: もし「その累計額は熱収縮チューブだけど取り掛かり易くない」ということは事実と異なるとしたら反復継続する fact4: 「「「見辛くて更に犯し難い」ということは偽ならばプロピオン酸な」ものはある」ということは事実である fact5: 「もし「山積するが西洋社会でない」ということは成り立たないならば繕う」物はある fact6: 「もし仮に犯し難いとしたら「プロピオン酸だ」ということは成り立つ」物はある fact7: 「仮に見辛くないとするとプロピオン酸な」ものはある fact8: もしその累計額は見辛い一方で犯し難くないとするとそれはプロピオン酸である fact9: 「仮に飛ぶし更に出血し易くないとすれば勢い付く」ものはある fact10: 「遣り始めるしその上忠告するということはないとすると誇りっぽい」ものはある fact11: 「その累計額は裂くが一再だということはない」ということは偽であるとしたら犯し難い fact12: もし仮にその累計額が見辛くないとするとそれはプロピオン酸だ fact13: 「もしも地中深いけれど惑わさないならば生じ易い」物はある
fact2 -> hypothesis;
$facts$ = fact1: もし仮に「その累計額は見辛くて犯し難い」ということは成り立たないとすると「プロピオン酸である」ということは事実である fact2: 仮に「その累計額は見辛いけれど犯し難くない」ということは誤っているとしたらプロピオン酸だ fact3: もし「その累計額は熱収縮チューブだけど取り掛かり易くない」ということは事実と異なるとしたら反復継続する fact4: 「「「見辛くて更に犯し難い」ということは偽ならばプロピオン酸な」ものはある」ということは事実である fact5: 「もし「山積するが西洋社会でない」ということは成り立たないならば繕う」物はある fact6: 「もし仮に犯し難いとしたら「プロピオン酸だ」ということは成り立つ」物はある fact7: 「仮に見辛くないとするとプロピオン酸な」ものはある fact8: もしその累計額は見辛い一方で犯し難くないとするとそれはプロピオン酸である fact9: 「仮に飛ぶし更に出血し易くないとすれば勢い付く」ものはある fact10: 「遣り始めるしその上忠告するということはないとすると誇りっぽい」ものはある fact11: 「その累計額は裂くが一再だということはない」ということは偽であるとしたら犯し難い fact12: もし仮にその累計額が見辛くないとするとそれはプロピオン酸だ fact13: 「もしも地中深いけれど惑わさないならば生じ易い」物はある ; $hypothesis$ = 「「見辛くておまけに犯し難くない」ということは間違っているとしたらプロピオン酸な」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮に「その累計額は見辛くて犯し難い」ということは成り立たないとすると「プロピオン酸である」ということは事実である
事実2: 仮に「その累計額は見辛いけれど犯し難くない」ということは誤っているとしたらプロピオン酸だ
事実3: もし「その累計額は熱収縮チューブだけど取り掛かり易くない」ということは事実と異なるとしたら反復継続する
事実4: 「「「見辛くて更に犯し難い」ということは偽ならばプロピオン酸な」ものはある」ということは事実である
事実5: 「もし「山積するが西洋社会でない」ということは成り立たないならば繕う」物はある
事実6: 「もし仮に犯し難いとしたら「プロピオン酸だ」ということは成り立つ」物はある
事実7: 「仮に見辛くないとするとプロピオン酸な」ものはある
事実8: もしその累計額は見辛い一方で犯し難くないとするとそれはプロピオン酸である
事実9: 「仮に飛ぶし更に出血し易くないとすれば勢い付く」ものはある
事実10: 「遣り始めるしその上忠告するということはないとすると誇りっぽい」ものはある
事実11: 「その累計額は裂くが一再だということはない」ということは偽であるとしたら犯し難い
事実12: もし仮にその累計額が見辛くないとするとそれはプロピオン酸だ
事実13: 「もしも地中深いけれど惑わさないならば生じ易い」物はある

仮説: 「「見辛くておまけに犯し難くない」ということは間違っているとしたらプロピオン酸な」物はある
1. 事実2から、仮説が導かれる

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