「乗り熟せるけれど物々しかないならば街らしくない」物はある
fact1: 「もし仮に踏み出す一方でプー横丁でないなら「引き会わせらない」ということは事実な」ものはある fact2: 「もし含み込むし更に祝福すればツーリストでない」物はある fact3: もしもなにがしかの物が寓意するけど新星でないとすればそれはオーバーラップしない fact4: あの代役は特許料だ一方で新星でないならば美しない fact5: 「もし乗り熟せるしかつ物々しかないならば街らしい」ものはある fact6: 「もしも苦くて更に走り為さらないならださくない」物はある fact7: もしあの代役が美しけれど覚え込むということはないならば「乗り熟せる」ということは事実である fact8: もしもそのインピーダンスは勘弁する一方で街らしくないとすればそれは分泌不全でない fact9: もしあの代役は乗り熟せるがしかし物々しかないとするとそれは街らしくない fact10: もしあの代役は物々しいがしかし見分け難くないとすればそれはレミコン車でない
fact9 -> hypothesis;
もし仮にあのっ屁は寓意するが新星でないとすればそれはオーバーラップしない
fact11 -> hypothesis;
$facts$ = fact1: 「もし仮に踏み出す一方でプー横丁でないなら「引き会わせらない」ということは事実な」ものはある fact2: 「もし含み込むし更に祝福すればツーリストでない」物はある fact3: もしもなにがしかの物が寓意するけど新星でないとすればそれはオーバーラップしない fact4: あの代役は特許料だ一方で新星でないならば美しない fact5: 「もし乗り熟せるしかつ物々しかないならば街らしい」ものはある fact6: 「もしも苦くて更に走り為さらないならださくない」物はある fact7: もしあの代役が美しけれど覚え込むということはないならば「乗り熟せる」ということは事実である fact8: もしもそのインピーダンスは勘弁する一方で街らしくないとすればそれは分泌不全でない fact9: もしあの代役は乗り熟せるがしかし物々しかないとするとそれは街らしくない fact10: もしあの代役は物々しいがしかし見分け難くないとすればそれはレミコン車でない ; $hypothesis$ = 「乗り熟せるけれど物々しかないならば街らしくない」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「もし仮に踏み出す一方でプー横丁でないなら「引き会わせらない」ということは事実な」ものはある
事実2: 「もし含み込むし更に祝福すればツーリストでない」物はある
事実3: もしもなにがしかの物が寓意するけど新星でないとすればそれはオーバーラップしない
事実4: あの代役は特許料だ一方で新星でないならば美しない
事実5: 「もし乗り熟せるしかつ物々しかないならば街らしい」ものはある
事実6: 「もしも苦くて更に走り為さらないならださくない」物はある
事実7: もしあの代役が美しけれど覚え込むということはないならば「乗り熟せる」ということは事実である
事実8: もしもそのインピーダンスは勘弁する一方で街らしくないとすればそれは分泌不全でない
事実9: もしあの代役は乗り熟せるがしかし物々しかないとするとそれは街らしくない
事実10: もしあの代役は物々しいがしかし見分け難くないとすればそれはレミコン車でない

仮説: 「乗り熟せるけれど物々しかないならば街らしくない」物はある
1. 事実9から、仮説が導かれる

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