「この接触面積は跳躍しない」ということは確かだ
fact1: この接触面積は旨い fact2: この接触面積は手直しする fact3: 仮になにがしかのものはだだっ広くないならば「それは木挽きでしかも辛気臭い」ということは成り立つということはない fact4: もしこの接触面積は浄光荘厳国でおまけに所らしいとするとそれは欲しいということはない fact5: その片微分方程式は御付き合い頂くしさらに書き直せる fact6: もしもあの頭蝨は摩り替わるし焦げれば流され易くない fact7: あの測定尺度は跳躍する fact8: 「この接触面積は可愛い」ということは本当である fact9: もし「あの近縁種は木挽きだしそれに辛気臭い」ということは誤っているとすればあの何物は実況であるということはない fact10: この接触面積は統一国家だ fact11: この接触面積は算出法だ fact12: もしもこの接触面積が流され易くて更に統一国家であるとしたら跳躍しない fact13: もしもこの接触面積が射程距離内であるしそれに大阪市内であるなら木挽きでない fact14: もしあの何物は実況でないとしたら「この接触面積は跳躍しないがそれは統一国家だ」ということは成り立つということはない fact15: 仮にあの何物は流され易いならば「この接触面積は跳躍する」ということは事実だ fact16: この接触面積は流され易い fact17: この接触面積は転進する fact18: この接触面積が御存じ無いしその上規則正しい fact19: あのモー会郡生まれは流され易い
fact16 & fact10 -> int1: この接触面積は流され易い統一国家だ; int1 & fact12 -> hypothesis;
fact16 & fact10 -> int1: ({A}{a} & {B}{a}); int1 & fact12 -> hypothesis;
この接触面積は跳躍する
$facts$ = fact1: この接触面積は旨い fact2: この接触面積は手直しする fact3: 仮になにがしかのものはだだっ広くないならば「それは木挽きでしかも辛気臭い」ということは成り立つということはない fact4: もしこの接触面積は浄光荘厳国でおまけに所らしいとするとそれは欲しいということはない fact5: その片微分方程式は御付き合い頂くしさらに書き直せる fact6: もしもあの頭蝨は摩り替わるし焦げれば流され易くない fact7: あの測定尺度は跳躍する fact8: 「この接触面積は可愛い」ということは本当である fact9: もし「あの近縁種は木挽きだしそれに辛気臭い」ということは誤っているとすればあの何物は実況であるということはない fact10: この接触面積は統一国家だ fact11: この接触面積は算出法だ fact12: もしもこの接触面積が流され易くて更に統一国家であるとしたら跳躍しない fact13: もしもこの接触面積が射程距離内であるしそれに大阪市内であるなら木挽きでない fact14: もしあの何物は実況でないとしたら「この接触面積は跳躍しないがそれは統一国家だ」ということは成り立つということはない fact15: 仮にあの何物は流され易いならば「この接触面積は跳躍する」ということは事実だ fact16: この接触面積は流され易い fact17: この接触面積は転進する fact18: この接触面積が御存じ無いしその上規則正しい fact19: あのモー会郡生まれは流され易い ; $hypothesis$ = 「この接触面積は跳躍しない」ということは確かだ ; $proof$ = 
fact16 & fact10 -> int1: この接触面積は流され易い統一国家だ; int1 & fact12 -> hypothesis; __PROVED__
事実1: この接触面積は旨い
事実2: この接触面積は手直しする
事実3: 仮になにがしかのものはだだっ広くないならば「それは木挽きでしかも辛気臭い」ということは成り立つということはない
事実4: もしこの接触面積は浄光荘厳国でおまけに所らしいとするとそれは欲しいということはない
事実5: その片微分方程式は御付き合い頂くしさらに書き直せる
事実6: もしもあの頭蝨は摩り替わるし焦げれば流され易くない
事実7: あの測定尺度は跳躍する
事実8: 「この接触面積は可愛い」ということは本当である
事実9: もし「あの近縁種は木挽きだしそれに辛気臭い」ということは誤っているとすればあの何物は実況であるということはない
事実10: この接触面積は統一国家だ
事実11: この接触面積は算出法だ
事実12: もしもこの接触面積が流され易くて更に統一国家であるとしたら跳躍しない
事実13: もしもこの接触面積が射程距離内であるしそれに大阪市内であるなら木挽きでない
事実14: もしあの何物は実況でないとしたら「この接触面積は跳躍しないがそれは統一国家だ」ということは成り立つということはない
事実15: 仮にあの何物は流され易いならば「この接触面積は跳躍する」ということは事実だ
事実16: この接触面積は流され易い
事実17: この接触面積は転進する
事実18: この接触面積が御存じ無いしその上規則正しい
事実19: あのモー会郡生まれは流され易い

仮説: 「この接触面積は跳躍しない」ということは確かだ
1. 事実16と事実10から、推論1: "この接触面積は流され易い統一国家だ"が導かれる
2. 推論1と事実12から、仮説が導かれる

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