このＬＤ児は訝しい
fact1: 「描き出す」ものはある fact2: その邯鄲は非同盟運動である fact3: その中腹は求め為さる fact4: 「ある物は六十フレームでない」ということは成り立てば「それはレポート用紙でないしそれは損害賠償金であるということはない」ということは真実であるということはない fact5: もし「求め為さる」物があるとしたらこのＬＤ児は遊ぶ fact6: もし仮に「その事前性はレポート用紙でなくてそれは損害賠償金でない」ということは成り立たないとするとこの盛り山は求め為さらない fact7: あのＵＬＥＶはワードアートだ fact8: なんらかのものが遊ぶとすれば訝しい fact9: もしも「訝しい」物はあるとすれば「このＬＤ児は求め為さる」ということは真実である fact10: もし「このＬＤ児は振り切れるということはないけれど求め為さる」ということは成り立たないならその邯鄲は振り切れる fact11: その邯鄲は求め為さる fact12: もしもその二ビルが取っちめるということはない一方でそれが六十フレームであるとすればその事前性は六十フレームでない
fact11 -> int1: なんらかの物は求め為さる; int1 & fact5 -> int2: 「このＬＤ児は遊ぶ」ということは確かだ; fact8 -> int3: もし仮にこのＬＤ児が遊ぶとしたらそれは訝しい; int2 & int3 -> hypothesis;
その邯鄲は振り切れる
$facts$ = fact1: 「描き出す」ものはある fact2: その邯鄲は非同盟運動である fact3: その中腹は求め為さる fact4: 「ある物は六十フレームでない」ということは成り立てば「それはレポート用紙でないしそれは損害賠償金であるということはない」ということは真実であるということはない fact5: もし「求め為さる」物があるとしたらこのＬＤ児は遊ぶ fact6: もし仮に「その事前性はレポート用紙でなくてそれは損害賠償金でない」ということは成り立たないとするとこの盛り山は求め為さらない fact7: あのＵＬＥＶはワードアートだ fact8: なんらかのものが遊ぶとすれば訝しい fact9: もしも「訝しい」物はあるとすれば「このＬＤ児は求め為さる」ということは真実である fact10: もし「このＬＤ児は振り切れるということはないけれど求め為さる」ということは成り立たないならその邯鄲は振り切れる fact11: その邯鄲は求め為さる fact12: もしもその二ビルが取っちめるということはない一方でそれが六十フレームであるとすればその事前性は六十フレームでない ; $hypothesis$ = このＬＤ児は訝しい ; $proof$ = 
fact11 -> int1: なんらかの物は求め為さる; int1 & fact5 -> int2: 「このＬＤ児は遊ぶ」ということは確かだ; fact8 -> int3: もし仮にこのＬＤ児が遊ぶとしたらそれは訝しい; int2 & int3 -> hypothesis; __PROVED__
事実1: 「描き出す」ものはある
事実2: その邯鄲は非同盟運動である
事実3: その中腹は求め為さる
事実4: 「ある物は六十フレームでない」ということは成り立てば「それはレポート用紙でないしそれは損害賠償金であるということはない」ということは真実であるということはない
事実5: もし「求め為さる」物があるとしたらこのＬＤ児は遊ぶ
事実6: もし仮に「その事前性はレポート用紙でなくてそれは損害賠償金でない」ということは成り立たないとするとこの盛り山は求め為さらない
事実7: あのＵＬＥＶはワードアートだ
事実8: なんらかのものが遊ぶとすれば訝しい
事実9: もしも「訝しい」物はあるとすれば「このＬＤ児は求め為さる」ということは真実である
事実10: もし「このＬＤ児は振り切れるということはないけれど求め為さる」ということは成り立たないならその邯鄲は振り切れる
事実11: その邯鄲は求め為さる
事実12: もしもその二ビルが取っちめるということはない一方でそれが六十フレームであるとすればその事前性は六十フレームでない

仮説: このＬＤ児は訝しい
1. 事実11から、推論1: "なんらかの物は求め為さる"が導かれる
2. 推論1と事実5から、推論2: "「このＬＤ児は遊ぶ」ということは確かだ"が導かれる
3. 事実8から、推論3: "もし仮にこのＬＤ児が遊ぶとしたらそれは訝しい"が導かれる
4. 推論2と推論3から、仮説が導かれる

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