あの座礁は数え年である
fact1: 「あの座礁は接し得ない」ということは嘘でない fact2: ある物は階団であるとすれば数え年だ fact3: 「この外国人向けは接し得ない」ということは嘘でない fact4: 仮にその下位目標は慕わしいということはないかまたは階団であるかまたは両方ともであるとすればそれは小難しい fact5: もしとある物は社会心理学者でないとすると「階団でなくてその上それは慕わしくない」ということは嘘である fact6: なにがしかのものが接し得るということはないかあるいは腹ばうとすれば階団である
fact6 -> int1: もしもあの座礁が接し得ないかあるいは腹ばうかまたは両方ともであるとすればそれは階団だ; fact1 -> int2: あの座礁は接し得ないかあるいは腹ばうかまたは両方ともである; int1 & int2 -> int3: あの座礁は階団だ; fact2 -> int4: 仮に「あの座礁は階団である」ということは本当なら数え年である; int3 & int4 -> hypothesis;
あの座礁は数え年でない
fact7 -> int5: もしあの座礁は社会心理学者でないならば「階団でないし更にそれは慕わしくない」ということは成り立たない;
$facts$ = fact1: 「あの座礁は接し得ない」ということは嘘でない fact2: ある物は階団であるとすれば数え年だ fact3: 「この外国人向けは接し得ない」ということは嘘でない fact4: 仮にその下位目標は慕わしいということはないかまたは階団であるかまたは両方ともであるとすればそれは小難しい fact5: もしとある物は社会心理学者でないとすると「階団でなくてその上それは慕わしくない」ということは嘘である fact6: なにがしかのものが接し得るということはないかあるいは腹ばうとすれば階団である ; $hypothesis$ = あの座礁は数え年である ; $proof$ = 
fact6 -> int1: もしもあの座礁が接し得ないかあるいは腹ばうかまたは両方ともであるとすればそれは階団だ; fact1 -> int2: あの座礁は接し得ないかあるいは腹ばうかまたは両方ともである; int1 & int2 -> int3: あの座礁は階団だ; fact2 -> int4: 仮に「あの座礁は階団である」ということは本当なら数え年である; int3 & int4 -> hypothesis; __PROVED__
事実1: 「あの座礁は接し得ない」ということは嘘でない
事実2: ある物は階団であるとすれば数え年だ
事実3: 「この外国人向けは接し得ない」ということは嘘でない
事実4: 仮にその下位目標は慕わしいということはないかまたは階団であるかまたは両方ともであるとすればそれは小難しい
事実5: もしとある物は社会心理学者でないとすると「階団でなくてその上それは慕わしくない」ということは嘘である
事実6: なにがしかのものが接し得るということはないかあるいは腹ばうとすれば階団である

仮説: あの座礁は数え年である
1. 事実6から、推論1: "もしもあの座礁が接し得ないかあるいは腹ばうかまたは両方ともであるとすればそれは階団だ"が導かれる
2. 事実1から、推論2: "あの座礁は接し得ないかあるいは腹ばうかまたは両方ともである"が導かれる
3. 推論1と推論2から、推論3: "あの座礁は階団だ"が導かれる
4. 事実2から、推論4: "仮に「あの座礁は階団である」ということは本当なら数え年である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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