「もしおっそろしないとすればリンク張り付けする」ものはある
fact1: もし「そのユアは山深くないがしかし幼し」ということは間違いであるならリンク張り付けする fact2: そのユアが煩わしいとすればそれはタバコ税である fact3: もしも「あるものは兵等でない」ということは成り立つとしたら「四行分でないけど山深い」ということは誤っている fact4: もしなんらかのものはおっそろしならば「リンク張り付けするということはないがしかしリアシートだ」ということは事実と異なる fact5: そのユアはおっそろしなら「それはリンク張り付けする」ということは確かである fact6: もしもその家庭保育園が山深くないとすればそれは会話らしい fact7: もし仮にそのユアはおっそろしないとすると「山深くないし幼し」ということは成り立たない fact8: 仮に「そのユアはおっそろし」ということは真実であるなら「「山深くないし幼し」ということは成り立つ」ということは誤っている fact9: もしもそのユアが幼しないなら細長い fact10: 「そのユアは山深くてそれは幼し」ということは成り立たない
void -> assump1: 以下のように仮定する。そのユアはおっそろしない; fact7 & assump1 -> int1: 「そのユアは山深くないけど幼し」ということは真実でない; int1 & fact1 -> int2: そのユアはリンク張り付けする; [assump1] & int2 -> int3: もしもそのユアはおっそろしないならば「それはリンク張り付けする」ということは間違いでない; int3 -> hypothesis;
もしもこのＵＳＢ接続タイプは兵等でないとすれば「四行分でないしそれにそれは山深い」ということは間違いだ
fact11 -> hypothesis;
$facts$ = fact1: もし「そのユアは山深くないがしかし幼し」ということは間違いであるならリンク張り付けする fact2: そのユアが煩わしいとすればそれはタバコ税である fact3: もしも「あるものは兵等でない」ということは成り立つとしたら「四行分でないけど山深い」ということは誤っている fact4: もしなんらかのものはおっそろしならば「リンク張り付けするということはないがしかしリアシートだ」ということは事実と異なる fact5: そのユアはおっそろしなら「それはリンク張り付けする」ということは確かである fact6: もしもその家庭保育園が山深くないとすればそれは会話らしい fact7: もし仮にそのユアはおっそろしないとすると「山深くないし幼し」ということは成り立たない fact8: 仮に「そのユアはおっそろし」ということは真実であるなら「「山深くないし幼し」ということは成り立つ」ということは誤っている fact9: もしもそのユアが幼しないなら細長い fact10: 「そのユアは山深くてそれは幼し」ということは成り立たない ; $hypothesis$ = 「もしおっそろしないとすればリンク張り付けする」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。そのユアはおっそろしない; fact7 & assump1 -> int1: 「そのユアは山深くないけど幼し」ということは真実でない; int1 & fact1 -> int2: そのユアはリンク張り付けする; [assump1] & int2 -> int3: もしもそのユアはおっそろしないならば「それはリンク張り付けする」ということは間違いでない; int3 -> hypothesis; __PROVED__
事実1: もし「そのユアは山深くないがしかし幼し」ということは間違いであるならリンク張り付けする
事実2: そのユアが煩わしいとすればそれはタバコ税である
事実3: もしも「あるものは兵等でない」ということは成り立つとしたら「四行分でないけど山深い」ということは誤っている
事実4: もしなんらかのものはおっそろしならば「リンク張り付けするということはないがしかしリアシートだ」ということは事実と異なる
事実5: そのユアはおっそろしなら「それはリンク張り付けする」ということは確かである
事実6: もしもその家庭保育園が山深くないとすればそれは会話らしい
事実7: もし仮にそのユアはおっそろしないとすると「山深くないし幼し」ということは成り立たない
事実8: 仮に「そのユアはおっそろし」ということは真実であるなら「「山深くないし幼し」ということは成り立つ」ということは誤っている
事実9: もしもそのユアが幼しないなら細長い
事実10: 「そのユアは山深くてそれは幼し」ということは成り立たない

仮説: 「もしおっそろしないとすればリンク張り付けする」ものはある
1. 仮定1: 以下のように仮定する。そのユアはおっそろしない
2. 事実7と仮定1から、推論1: "「そのユアは山深くないけど幼し」ということは真実でない"が導かれる
3. 推論1と事実1から、推論2: "そのユアはリンク張り付けする"が導かれる
4. [仮定1]と推論2から、推論3: "もしもそのユアはおっそろしないならば「それはリンク張り付けする」ということは間違いでない"が導かれる
5. 推論3から、仮説が導かれる

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