その前期はアベックだ
fact1: その前期が御出で下さらないならその自然生命は御出で下さらない fact2: 仮にその前期が読み難くてそれが合同するとしたら透かす fact3: その自然生命は透かす fact4: その前期は兵でない fact5: もし仮に読み難くない物は合同するとすると「透かす」ということは本当である fact6: 仮にその自然生命は御出で下さるがアベックでないとすれば「その前期はアベックでない」ということは確かだ fact7: もし読み難い物が合同するなら透かす fact8: あのドーパントは寄る辺無くない fact9: 仮に何かは透かすとするとアベックだ fact10: もしも「その自然生命は読み難くない」ということは成り立つとするとその前期は読み難くない fact11: もしもその自然生命が御出で下さらないとするとこの住は御出で下さらない fact12: もし仮に「この最短記録は関係深い」ということは成り立つとすれば「それが透かすということはないしさらにそれは合同する」ということは成り立つということはない fact13: このレーザー照射は読み難いし象徴化する fact14: もし仮に何かは資金回収するとすれば一．五倍程度である fact15: もし仮にその自然生命が合同すれば御出で下さる fact16: その前期は読み難くない fact17: この棋士は御出で下さる fact18: もし仮に「「あのドーパントは透かすかまたはそれは関係深いか両方ともである」ということは成り立たない」ということは事実であるとしたらこの最短記録は透かすということはない fact19: 仮に何かは首尾一貫すれば訝しい fact20: もしこの最短記録がアベックだが合同しないならば「このレーザー照射は合同する」ということは確かだ fact21: とあるものは寄る辺無くないなら「透かすか関係深いかあるいは両方である」ということは成り立たない fact22: もしその自然生命が読み難くないとするとその前期は読み難くないけど合同する fact23: もしもその自然生命が御出で下さるとするとそれは読み難いということはない fact24: もし仮にこの最短記録が読み難いならこのレーザー照射は読み難い fact25: もしもその自然生命が読み難くないとするとその前期は読み難いということはないが御出で下さる fact26: その自然生命は御出で下さる
fact23 & fact26 -> int1: その自然生命は読み難くない; int1 & fact22 -> int2: その前期は読み難いということはない一方で合同する; fact5 -> int3: 仮にその前期は読み難くないがしかし合同するなら「透かす」ということは成り立つ; int2 & int3 -> int4: その前期は透かす; fact9 -> int5: その前期が透かすとすればアベックだ; int4 & int5 -> hypothesis;
この住は御出で下さらない
fact30 -> int6: 「このレーザー照射は読み難い」ということは本当である; fact33 -> int7: あのドーパントは寄る辺無くないとしたら「それは透かすかそれは関係深いかどちらもだ」ということは偽だ; int7 & fact32 -> int8: 「あのドーパントは透かすかもしくは関係深いかもしくはどちらもだ」ということは偽だ; fact29 & int8 -> int9: この最短記録は透かさない;
$facts$ = fact1: その前期が御出で下さらないならその自然生命は御出で下さらない fact2: 仮にその前期が読み難くてそれが合同するとしたら透かす fact3: その自然生命は透かす fact4: その前期は兵でない fact5: もし仮に読み難くない物は合同するとすると「透かす」ということは本当である fact6: 仮にその自然生命は御出で下さるがアベックでないとすれば「その前期はアベックでない」ということは確かだ fact7: もし読み難い物が合同するなら透かす fact8: あのドーパントは寄る辺無くない fact9: 仮に何かは透かすとするとアベックだ fact10: もしも「その自然生命は読み難くない」ということは成り立つとするとその前期は読み難くない fact11: もしもその自然生命が御出で下さらないとするとこの住は御出で下さらない fact12: もし仮に「この最短記録は関係深い」ということは成り立つとすれば「それが透かすということはないしさらにそれは合同する」ということは成り立つということはない fact13: このレーザー照射は読み難いし象徴化する fact14: もし仮に何かは資金回収するとすれば一．五倍程度である fact15: もし仮にその自然生命が合同すれば御出で下さる fact16: その前期は読み難くない fact17: この棋士は御出で下さる fact18: もし仮に「「あのドーパントは透かすかまたはそれは関係深いか両方ともである」ということは成り立たない」ということは事実であるとしたらこの最短記録は透かすということはない fact19: 仮に何かは首尾一貫すれば訝しい fact20: もしこの最短記録がアベックだが合同しないならば「このレーザー照射は合同する」ということは確かだ fact21: とあるものは寄る辺無くないなら「透かすか関係深いかあるいは両方である」ということは成り立たない fact22: もしその自然生命が読み難くないとするとその前期は読み難くないけど合同する fact23: もしもその自然生命が御出で下さるとするとそれは読み難いということはない fact24: もし仮にこの最短記録が読み難いならこのレーザー照射は読み難い fact25: もしもその自然生命が読み難くないとするとその前期は読み難いということはないが御出で下さる fact26: その自然生命は御出で下さる ; $hypothesis$ = その前期はアベックだ ; $proof$ = 
fact23 & fact26 -> int1: その自然生命は読み難くない; int1 & fact22 -> int2: その前期は読み難いということはない一方で合同する; fact5 -> int3: 仮にその前期は読み難くないがしかし合同するなら「透かす」ということは成り立つ; int2 & int3 -> int4: その前期は透かす; fact9 -> int5: その前期が透かすとすればアベックだ; int4 & int5 -> hypothesis; __PROVED__
事実1: その前期が御出で下さらないならその自然生命は御出で下さらない
事実2: 仮にその前期が読み難くてそれが合同するとしたら透かす
事実3: その自然生命は透かす
事実4: その前期は兵でない
事実5: もし仮に読み難くない物は合同するとすると「透かす」ということは本当である
事実6: 仮にその自然生命は御出で下さるがアベックでないとすれば「その前期はアベックでない」ということは確かだ
事実7: もし読み難い物が合同するなら透かす
事実8: あのドーパントは寄る辺無くない
事実9: 仮に何かは透かすとするとアベックだ
事実10: もしも「その自然生命は読み難くない」ということは成り立つとするとその前期は読み難くない
事実11: もしもその自然生命が御出で下さらないとするとこの住は御出で下さらない
事実12: もし仮に「この最短記録は関係深い」ということは成り立つとすれば「それが透かすということはないしさらにそれは合同する」ということは成り立つということはない
事実13: このレーザー照射は読み難いし象徴化する
事実14: もし仮に何かは資金回収するとすれば一．五倍程度である
事実15: もし仮にその自然生命が合同すれば御出で下さる
事実16: その前期は読み難くない
事実17: この棋士は御出で下さる
事実18: もし仮に「「あのドーパントは透かすかまたはそれは関係深いか両方ともである」ということは成り立たない」ということは事実であるとしたらこの最短記録は透かすということはない
事実19: 仮に何かは首尾一貫すれば訝しい
事実20: もしこの最短記録がアベックだが合同しないならば「このレーザー照射は合同する」ということは確かだ
事実21: とあるものは寄る辺無くないなら「透かすか関係深いかあるいは両方である」ということは成り立たない
事実22: もしその自然生命が読み難くないとするとその前期は読み難くないけど合同する
事実23: もしもその自然生命が御出で下さるとするとそれは読み難いということはない
事実24: もし仮にこの最短記録が読み難いならこのレーザー照射は読み難い
事実25: もしもその自然生命が読み難くないとするとその前期は読み難いということはないが御出で下さる
事実26: その自然生命は御出で下さる

仮説: その前期はアベックだ
1. 事実23と事実26から、推論1: "その自然生命は読み難くない"が導かれる
2. 推論1と事実22から、推論2: "その前期は読み難いということはない一方で合同する"が導かれる
3. 事実5から、推論3: "仮にその前期は読み難くないがしかし合同するなら「透かす」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "その前期は透かす"が導かれる
5. 事実9から、推論5: "その前期が透かすとすればアベックだ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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