あの資料編は近しいということはない
fact1: もし仮にあの資料編は大人らしいがしかし申し受けないとするとそれは帯同しない fact2: あの資料編は大人らしくないし加えて申し受けない fact3: もしもあの資料編は大人らしくないし更に申し受けないとしたらそれは帯同しない fact4: あの婦人部は際どかなくてその上内燃機関でない fact5: あの資料編は黒しか際どい fact6: とあるものは帯同しないかあるいは際どいかまたは両方ともであるならば「近しくない」ということは成り立つ fact7: あの資料編は知り合いらしいか嘯くかもしくは両方ともだ fact8: もしあの神授が逮捕しないかまたはそれは際どいかまたは両方であるとすれば人道上でない fact9: 近しくないか大人らしいか両方ともな物は帯同するということはない fact10: あの資料編は目盛り線でない fact11: あの資料編は捕らえ難くないかあるいはチェック出来るかもしくはどちらもだ fact12: もしとある物が狙われ易いとするとそれは帯同しないしその上それは際どい fact13: このマイノリティ・フォーラムは状態維持しないかもしくは粉っぽいかまたは両方である
fact3 & fact2 -> int1: あの資料編は帯同しない; int1 -> int2: あの資料編は帯同しないかそれは際どいかまたは両方である; fact6 -> int3: 仮にあの資料編が帯同しないか際どいとすると「それは近しいということはない」ということは真実だ; int2 & int3 -> hypothesis;
あの資料編は近しい
fact14 -> int4: その励起が狙われ易いならばそれは帯同しないけど際どい;
$facts$ = fact1: もし仮にあの資料編は大人らしいがしかし申し受けないとするとそれは帯同しない fact2: あの資料編は大人らしくないし加えて申し受けない fact3: もしもあの資料編は大人らしくないし更に申し受けないとしたらそれは帯同しない fact4: あの婦人部は際どかなくてその上内燃機関でない fact5: あの資料編は黒しか際どい fact6: とあるものは帯同しないかあるいは際どいかまたは両方ともであるならば「近しくない」ということは成り立つ fact7: あの資料編は知り合いらしいか嘯くかもしくは両方ともだ fact8: もしあの神授が逮捕しないかまたはそれは際どいかまたは両方であるとすれば人道上でない fact9: 近しくないか大人らしいか両方ともな物は帯同するということはない fact10: あの資料編は目盛り線でない fact11: あの資料編は捕らえ難くないかあるいはチェック出来るかもしくはどちらもだ fact12: もしとある物が狙われ易いとするとそれは帯同しないしその上それは際どい fact13: このマイノリティ・フォーラムは状態維持しないかもしくは粉っぽいかまたは両方である ; $hypothesis$ = あの資料編は近しいということはない ; $proof$ = 
fact3 & fact2 -> int1: あの資料編は帯同しない; int1 -> int2: あの資料編は帯同しないかそれは際どいかまたは両方である; fact6 -> int3: 仮にあの資料編が帯同しないか際どいとすると「それは近しいということはない」ということは真実だ; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にあの資料編は大人らしいがしかし申し受けないとするとそれは帯同しない
事実2: あの資料編は大人らしくないし加えて申し受けない
事実3: もしもあの資料編は大人らしくないし更に申し受けないとしたらそれは帯同しない
事実4: あの婦人部は際どかなくてその上内燃機関でない
事実5: あの資料編は黒しか際どい
事実6: とあるものは帯同しないかあるいは際どいかまたは両方ともであるならば「近しくない」ということは成り立つ
事実7: あの資料編は知り合いらしいか嘯くかもしくは両方ともだ
事実8: もしあの神授が逮捕しないかまたはそれは際どいかまたは両方であるとすれば人道上でない
事実9: 近しくないか大人らしいか両方ともな物は帯同するということはない
事実10: あの資料編は目盛り線でない
事実11: あの資料編は捕らえ難くないかあるいはチェック出来るかもしくはどちらもだ
事実12: もしとある物が狙われ易いとするとそれは帯同しないしその上それは際どい
事実13: このマイノリティ・フォーラムは状態維持しないかもしくは粉っぽいかまたは両方である

仮説: あの資料編は近しいということはない
1. 事実3と事実2から、推論1: "あの資料編は帯同しない"が導かれる
2. 推論1から、推論2: "あの資料編は帯同しないかそれは際どいかまたは両方である"が導かれる
3. 事実6から、推論3: "仮にあの資料編が帯同しないか際どいとすると「それは近しいということはない」ということは真実だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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