この官営は再審査しないし楊幼炯ない
fact1: その商工ファンドはバースデーである fact2: 仮にその商工ファンドが飲み比べないとすればあの果肉はバースデーでなくて飲み比べない fact3: もしもその果肉が寒くないならばその五センチメートル長さは楊幼炯ない fact4: バースデーは召集するとすれば「その果肉は飲み比べる」ということは成り立つ fact5: その果肉が飲み比べるかあるいはそれが寒くないかもしくはどちらもだとするとその五センチメートル長さは楊幼炯ということはない fact6: 「寒くて更に楊幼炯」ものはある fact7: もしもとある物が召集しないとしたらそれはバースデーである fact8: 「快い」物はある fact9: もしこの国際障害分類は飲み比べないかまたは寒くないか両方ともならばそれは召集しない fact10: 仮にその果肉が寒くないとしたらこの官営は楊幼炯ないしそれは寒くない fact11: もし仮になにかはバースデーでないしおまけに召集しないならばそれは再審査する fact12: この官営は飲み比べる fact13: もし仮にその五センチメートル長さが楊幼炯ないとするとこの官営は再審査しなくてそれは楊幼炯ということはない fact14: この官営はバースデーだ fact15: 仮にその商工ファンドが楊幼炯ないとしたらその五センチメートル長さはバースデーでないししかも楊幼炯ということはない fact16: あるものは楊幼炯しそれにそれはバースデーだ fact17: 「「バースデーであるけれど寒くない」ということは誤りである」ものはある fact18: 「その商工ファンドは召集する」ということは本当である fact19: この官営は疎いということはなくてそれははしたないということはない
fact1 & fact18 -> int1: その商工ファンドはバースデーであるし召集する; int1 -> int2: 「バースデーでおまけに召集する」ものはある; int2 & fact4 -> int3: その果肉は飲み比べる; int3 -> int4: その果肉は飲み比べるかあるいはそれは寒いということはない; int4 & fact5 -> int5: 「その五センチメートル長さは楊幼炯ない」ということは成り立つ; int5 & fact13 -> hypothesis;
「この国際障害分類は楊幼炯」ということは成り立つ
fact20 -> int6: もしもこの国際障害分類が召集しないとするとバースデーだ;
$facts$ = fact1: その商工ファンドはバースデーである fact2: 仮にその商工ファンドが飲み比べないとすればあの果肉はバースデーでなくて飲み比べない fact3: もしもその果肉が寒くないならばその五センチメートル長さは楊幼炯ない fact4: バースデーは召集するとすれば「その果肉は飲み比べる」ということは成り立つ fact5: その果肉が飲み比べるかあるいはそれが寒くないかもしくはどちらもだとするとその五センチメートル長さは楊幼炯ということはない fact6: 「寒くて更に楊幼炯」ものはある fact7: もしもとある物が召集しないとしたらそれはバースデーである fact8: 「快い」物はある fact9: もしこの国際障害分類は飲み比べないかまたは寒くないか両方ともならばそれは召集しない fact10: 仮にその果肉が寒くないとしたらこの官営は楊幼炯ないしそれは寒くない fact11: もし仮になにかはバースデーでないしおまけに召集しないならばそれは再審査する fact12: この官営は飲み比べる fact13: もし仮にその五センチメートル長さが楊幼炯ないとするとこの官営は再審査しなくてそれは楊幼炯ということはない fact14: この官営はバースデーだ fact15: 仮にその商工ファンドが楊幼炯ないとしたらその五センチメートル長さはバースデーでないししかも楊幼炯ということはない fact16: あるものは楊幼炯しそれにそれはバースデーだ fact17: 「「バースデーであるけれど寒くない」ということは誤りである」ものはある fact18: 「その商工ファンドは召集する」ということは本当である fact19: この官営は疎いということはなくてそれははしたないということはない ; $hypothesis$ = この官営は再審査しないし楊幼炯ない ; $proof$ = 
fact1 & fact18 -> int1: その商工ファンドはバースデーであるし召集する; int1 -> int2: 「バースデーでおまけに召集する」ものはある; int2 & fact4 -> int3: その果肉は飲み比べる; int3 -> int4: その果肉は飲み比べるかあるいはそれは寒いということはない; int4 & fact5 -> int5: 「その五センチメートル長さは楊幼炯ない」ということは成り立つ; int5 & fact13 -> hypothesis; __PROVED__
事実1: その商工ファンドはバースデーである
事実2: 仮にその商工ファンドが飲み比べないとすればあの果肉はバースデーでなくて飲み比べない
事実3: もしもその果肉が寒くないならばその五センチメートル長さは楊幼炯ない
事実4: バースデーは召集するとすれば「その果肉は飲み比べる」ということは成り立つ
事実5: その果肉が飲み比べるかあるいはそれが寒くないかもしくはどちらもだとするとその五センチメートル長さは楊幼炯ということはない
事実6: 「寒くて更に楊幼炯」ものはある
事実7: もしもとある物が召集しないとしたらそれはバースデーである
事実8: 「快い」物はある
事実9: もしこの国際障害分類は飲み比べないかまたは寒くないか両方ともならばそれは召集しない
事実10: 仮にその果肉が寒くないとしたらこの官営は楊幼炯ないしそれは寒くない
事実11: もし仮になにかはバースデーでないしおまけに召集しないならばそれは再審査する
事実12: この官営は飲み比べる
事実13: もし仮にその五センチメートル長さが楊幼炯ないとするとこの官営は再審査しなくてそれは楊幼炯ということはない
事実14: この官営はバースデーだ
事実15: 仮にその商工ファンドが楊幼炯ないとしたらその五センチメートル長さはバースデーでないししかも楊幼炯ということはない
事実16: あるものは楊幼炯しそれにそれはバースデーだ
事実17: 「「バースデーであるけれど寒くない」ということは誤りである」ものはある
事実18: 「その商工ファンドは召集する」ということは本当である
事実19: この官営は疎いということはなくてそれははしたないということはない

仮説: この官営は再審査しないし楊幼炯ない
1. 事実1と事実18から、推論1: "その商工ファンドはバースデーであるし召集する"が導かれる
2. 推論1から、推論2: "「バースデーでおまけに召集する」ものはある"が導かれる
3. 推論2と事実4から、推論3: "その果肉は飲み比べる"が導かれる
4. 推論3から、推論4: "その果肉は飲み比べるかあるいはそれは寒いということはない"が導かれる
5. 推論4と事実5から、推論5: "「その五センチメートル長さは楊幼炯ない」ということは成り立つ"が導かれる
6. 推論5と事実13から、仮説が導かれる

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