なにがしかのものはパロディ化するしそれにハイツである
fact1: もしもあの兄島が撥ねるとするとそれはハイツだ fact2: この年度改正が指摘すとするとオブジェクトである fact3: 「この年度改正は指摘す」ということは確かである fact4: もしとあるものがオブジェクトであるかあるいは涙脆いということはないとすればそれは蜃気楼であるということはない fact5: この二群は専用線である fact6: もしも「あの兄島は作り込むけど生み育てない」ということは誤りだとしたらそれはパロディ化する fact7: なにがしかの物は相半ばするとすると「その自著は撥ねるがそれはハイツでない」ということは成り立つということはない fact8: 仮にこの年度改正がオブジェクトであるとしたらあの兄島はオブジェクトである fact9: 「この二群は専用線だ」ということは確かならこの多項は相半ばする fact10: もしあの兄島は蜃気楼でないとすると「その自著はパロディ化するしそれに新しい」ということは偽でない fact11: このガーベラは撥ねる fact12: 「あの兄島は作り込むが生み育てない」ということは成り立たない fact13: あの兄島は撥ねる
fact6 & fact12 -> int1: あの兄島はパロディ化する; fact1 & fact13 -> int2: あの兄島はハイツだ; int1 & int2 -> int3: あの兄島はパロディ化するしそれはハイツだ; int3 -> hypothesis;
その自著はハイツだししかも新しい
fact16 & fact20 -> int4: この多項は相半ばする; int4 -> int5: 「相半ばする」ものはある; int5 & fact14 -> int6: 「「その自著は撥ねる一方でハイツでない」ということは成り立つ」ということは成り立たない; fact15 -> int7: 仮にあの兄島がオブジェクトであるかあるいは涙脆くないならば「蜃気楼でない」ということは事実だ; fact21 & fact19 -> int8: この年度改正はオブジェクトだ; fact18 & int8 -> int9: あの兄島はオブジェクトだ; int9 -> int10: あの兄島はオブジェクトであるかまたは涙脆くないかまたはどちらもだ; int7 & int10 -> int11: あの兄島は蜃気楼でない; fact17 & int11 -> int12: その自著はパロディ化するし新しい; int12 -> int13: その自著は新しい;
$facts$ = fact1: もしもあの兄島が撥ねるとするとそれはハイツだ fact2: この年度改正が指摘すとするとオブジェクトである fact3: 「この年度改正は指摘す」ということは確かである fact4: もしとあるものがオブジェクトであるかあるいは涙脆いということはないとすればそれは蜃気楼であるということはない fact5: この二群は専用線である fact6: もしも「あの兄島は作り込むけど生み育てない」ということは誤りだとしたらそれはパロディ化する fact7: なにがしかの物は相半ばするとすると「その自著は撥ねるがそれはハイツでない」ということは成り立つということはない fact8: 仮にこの年度改正がオブジェクトであるとしたらあの兄島はオブジェクトである fact9: 「この二群は専用線だ」ということは確かならこの多項は相半ばする fact10: もしあの兄島は蜃気楼でないとすると「その自著はパロディ化するしそれに新しい」ということは偽でない fact11: このガーベラは撥ねる fact12: 「あの兄島は作り込むが生み育てない」ということは成り立たない fact13: あの兄島は撥ねる ; $hypothesis$ = なにがしかのものはパロディ化するしそれにハイツである ; $proof$ = 
fact6 & fact12 -> int1: あの兄島はパロディ化する; fact1 & fact13 -> int2: あの兄島はハイツだ; int1 & int2 -> int3: あの兄島はパロディ化するしそれはハイツだ; int3 -> hypothesis; __PROVED__
事実1: もしもあの兄島が撥ねるとするとそれはハイツだ
事実2: この年度改正が指摘すとするとオブジェクトである
事実3: 「この年度改正は指摘す」ということは確かである
事実4: もしとあるものがオブジェクトであるかあるいは涙脆いということはないとすればそれは蜃気楼であるということはない
事実5: この二群は専用線である
事実6: もしも「あの兄島は作り込むけど生み育てない」ということは誤りだとしたらそれはパロディ化する
事実7: なにがしかの物は相半ばするとすると「その自著は撥ねるがそれはハイツでない」ということは成り立つということはない
事実8: 仮にこの年度改正がオブジェクトであるとしたらあの兄島はオブジェクトである
事実9: 「この二群は専用線だ」ということは確かならこの多項は相半ばする
事実10: もしあの兄島は蜃気楼でないとすると「その自著はパロディ化するしそれに新しい」ということは偽でない
事実11: このガーベラは撥ねる
事実12: 「あの兄島は作り込むが生み育てない」ということは成り立たない
事実13: あの兄島は撥ねる

仮説: なにがしかのものはパロディ化するしそれにハイツである
1. 事実6と事実12から、推論1: "あの兄島はパロディ化する"が導かれる
2. 事実1と事実13から、推論2: "あの兄島はハイツだ"が導かれる
3. 推論1と推論2から、推論3: "あの兄島はパロディ化するしそれはハイツだ"が導かれる
4. 推論3から、仮説が導かれる

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