あのアリヨールは製品市場だ
fact1: もし「あの戻りは法規整でない」ということは真実だとするとそれは地球生命であるし漏れ聞く fact2: もしもあの戻りは寄る辺無くないけど責め苛むとすれば法規整でない fact3: その回り縁は地球生命である fact4: 仮にあのエリートクラスが冷笑しなくてそれにそれは地球生命でないとすると「あのアリヨールは製品市場でない」ということは確かである fact5: あのエリートクラスが平衡斑だとしたらあの戻りは平衡斑だ fact6: 「あのエリートクラスは地球生命だ」ということは事実である fact7: もし「何らかの物は自作しないししかも可愛くない」ということは成り立つということはないとすると詰まり易くない fact8: 地球生命はエセックス号だ fact9: もし何かは組織再編でないけど御忙しいならば製品市場でない fact10: この選挙前は製品市場である fact11: 詰まり易くないものは組織再編でないけど御忙しい fact12: もし仮に「あのアリヨールはエセックス号である」ということは正しいとすると製品市場だ fact13: 仮に何かは製品市場でないならばそれは平衡斑でおまけに冷笑する fact14: もしもあのエリートクラスが冷笑するとしたらあのアリヨールはエセックス号だ fact15: もしも何らかのものは組織再編でないならば御忙しくないしおまけにエセックス号でない fact16: あの戻りは寄る辺無くないがしかしそれは責め苛む fact17: あのエリートクラスは培養室だ fact18: もしもあのエリートクラスが御忙しいとしたらこの学生定員は地球生命だということはない一方でエセックス号である fact19: あのエリートクラスは冷笑するしかつ地球生命である
fact19 -> int1: 「あのエリートクラスは冷笑する」ということは成り立つ; int1 & fact14 -> int2: あのアリヨールはエセックス号である; int2 & fact12 -> hypothesis;
あの戻りはエセックス号であるしその上平衡斑だ
fact25 -> int3: あの戻りが地球生命だとしたらそれはエセックス号だ; fact20 & fact21 -> int4: あの戻りは法規整でない; fact28 & int4 -> int5: 「あの戻りが地球生命だしおまけに漏れ聞く」ということは間違いだということはない; int5 -> int6: あの戻りは地球生命である; int3 & int6 -> int7: あの戻りはエセックス号である; fact27 -> int8: もし「あのエリートクラスは製品市場だということはない」ということは成り立つとしたらそれは平衡斑であるしそれに冷笑する; fact23 -> int9: もしあのエリートクラスが組織再編でないけれどそれが御忙しいとしたらそれは製品市場であるということはない; fact26 -> int10: あのエリートクラスが詰まり易くないとすると組織再編でない一方で御忙しい; fact24 -> int11: 「あのエリートクラスは自作しないしおまけに可愛くない」ということは間違いであるとするとそれは詰まり易くない;
$facts$ = fact1: もし「あの戻りは法規整でない」ということは真実だとするとそれは地球生命であるし漏れ聞く fact2: もしもあの戻りは寄る辺無くないけど責め苛むとすれば法規整でない fact3: その回り縁は地球生命である fact4: 仮にあのエリートクラスが冷笑しなくてそれにそれは地球生命でないとすると「あのアリヨールは製品市場でない」ということは確かである fact5: あのエリートクラスが平衡斑だとしたらあの戻りは平衡斑だ fact6: 「あのエリートクラスは地球生命だ」ということは事実である fact7: もし「何らかの物は自作しないししかも可愛くない」ということは成り立つということはないとすると詰まり易くない fact8: 地球生命はエセックス号だ fact9: もし何かは組織再編でないけど御忙しいならば製品市場でない fact10: この選挙前は製品市場である fact11: 詰まり易くないものは組織再編でないけど御忙しい fact12: もし仮に「あのアリヨールはエセックス号である」ということは正しいとすると製品市場だ fact13: 仮に何かは製品市場でないならばそれは平衡斑でおまけに冷笑する fact14: もしもあのエリートクラスが冷笑するとしたらあのアリヨールはエセックス号だ fact15: もしも何らかのものは組織再編でないならば御忙しくないしおまけにエセックス号でない fact16: あの戻りは寄る辺無くないがしかしそれは責め苛む fact17: あのエリートクラスは培養室だ fact18: もしもあのエリートクラスが御忙しいとしたらこの学生定員は地球生命だということはない一方でエセックス号である fact19: あのエリートクラスは冷笑するしかつ地球生命である ; $hypothesis$ = あのアリヨールは製品市場だ ; $proof$ = 
fact19 -> int1: 「あのエリートクラスは冷笑する」ということは成り立つ; int1 & fact14 -> int2: あのアリヨールはエセックス号である; int2 & fact12 -> hypothesis; __PROVED__
事実1: もし「あの戻りは法規整でない」ということは真実だとするとそれは地球生命であるし漏れ聞く
事実2: もしもあの戻りは寄る辺無くないけど責め苛むとすれば法規整でない
事実3: その回り縁は地球生命である
事実4: 仮にあのエリートクラスが冷笑しなくてそれにそれは地球生命でないとすると「あのアリヨールは製品市場でない」ということは確かである
事実5: あのエリートクラスが平衡斑だとしたらあの戻りは平衡斑だ
事実6: 「あのエリートクラスは地球生命だ」ということは事実である
事実7: もし「何らかの物は自作しないししかも可愛くない」ということは成り立つということはないとすると詰まり易くない
事実8: 地球生命はエセックス号だ
事実9: もし何かは組織再編でないけど御忙しいならば製品市場でない
事実10: この選挙前は製品市場である
事実11: 詰まり易くないものは組織再編でないけど御忙しい
事実12: もし仮に「あのアリヨールはエセックス号である」ということは正しいとすると製品市場だ
事実13: 仮に何かは製品市場でないならばそれは平衡斑でおまけに冷笑する
事実14: もしもあのエリートクラスが冷笑するとしたらあのアリヨールはエセックス号だ
事実15: もしも何らかのものは組織再編でないならば御忙しくないしおまけにエセックス号でない
事実16: あの戻りは寄る辺無くないがしかしそれは責め苛む
事実17: あのエリートクラスは培養室だ
事実18: もしもあのエリートクラスが御忙しいとしたらこの学生定員は地球生命だということはない一方でエセックス号である
事実19: あのエリートクラスは冷笑するしかつ地球生命である

仮説: あのアリヨールは製品市場だ
1. 事実19から、推論1: "「あのエリートクラスは冷笑する」ということは成り立つ"が導かれる
2. 推論1と事実14から、推論2: "あのアリヨールはエセックス号である"が導かれる
3. 推論2と事実12から、仮説が導かれる

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