この生家は銅だとしたら「その返血は仰向けだ」ということは成り立つ
fact1: もしその返血は驚嘆すなら「仰向けだ」ということは事実だ fact2: 何かは無くしないならばそれは銅であるし驚嘆す fact3: 仮にその返血が銅だとしたらこの生家は驚嘆す fact4: もしもなにがしかのものは悟らないとしたら「それは無くするし愛でる」ということは成り立たない fact5: もしもその返血は銅であるとすれば「この生家は仰向けだ」ということは偽でない fact6: 「その満喫は悟るがそれは足らない」ということは成り立つということはない fact7: 「もし仮にこの生家が仰向けだとすればあの返血は銅である」ということは事実である fact8: 仮にこの生家は銅なら「その返血は驚嘆す」ということは成り立つ fact9: もし仮に「その満喫は悟るがしかし足らない」ということは偽だとしたら悟るということはない fact10: もし仮に「「あるものは無くするし愛でる」ということは本当である」ということは成り立つということはないならそれは無くしない
void -> assump1: 以下のように仮定する。この生家は銅である; fact8 & assump1 -> int1: その返血は驚嘆す; int1 & fact1 -> int2: その返血は仰向けだ; [assump1] & int2 -> hypothesis;
その満喫は仰向けである
fact14 -> int3: 仮にその満喫が無くしないならそれが銅だししかもそれは驚嘆す; fact15 -> int4: もし仮に「その満喫は無くするし加えてそれは愛でる」ということは偽であるとすれば無くしない; fact11 -> int5: 「その満喫は悟らない」ということは正しいならば「無くするしそれは愛でる」ということは成り立つということはない; fact12 & fact13 -> int6: その満喫は悟らない; int5 & int6 -> int7: 「「その満喫は無くするししかも愛でる」ということは成り立つ」ということは事実でない; int4 & int7 -> int8: その満喫は無くしない; int3 & int8 -> int9: その満喫は銅だしおまけに驚嘆す; int9 -> int10: その満喫は銅だ;
$facts$ = fact1: もしその返血は驚嘆すなら「仰向けだ」ということは事実だ fact2: 何かは無くしないならばそれは銅であるし驚嘆す fact3: 仮にその返血が銅だとしたらこの生家は驚嘆す fact4: もしもなにがしかのものは悟らないとしたら「それは無くするし愛でる」ということは成り立たない fact5: もしもその返血は銅であるとすれば「この生家は仰向けだ」ということは偽でない fact6: 「その満喫は悟るがそれは足らない」ということは成り立つということはない fact7: 「もし仮にこの生家が仰向けだとすればあの返血は銅である」ということは事実である fact8: 仮にこの生家は銅なら「その返血は驚嘆す」ということは成り立つ fact9: もし仮に「その満喫は悟るがしかし足らない」ということは偽だとしたら悟るということはない fact10: もし仮に「「あるものは無くするし愛でる」ということは本当である」ということは成り立つということはないならそれは無くしない ; $hypothesis$ = この生家は銅だとしたら「その返血は仰向けだ」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この生家は銅である; fact8 & assump1 -> int1: その返血は驚嘆す; int1 & fact1 -> int2: その返血は仰向けだ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしその返血は驚嘆すなら「仰向けだ」ということは事実だ
事実2: 何かは無くしないならばそれは銅であるし驚嘆す
事実3: 仮にその返血が銅だとしたらこの生家は驚嘆す
事実4: もしもなにがしかのものは悟らないとしたら「それは無くするし愛でる」ということは成り立たない
事実5: もしもその返血は銅であるとすれば「この生家は仰向けだ」ということは偽でない
事実6: 「その満喫は悟るがそれは足らない」ということは成り立つということはない
事実7: 「もし仮にこの生家が仰向けだとすればあの返血は銅である」ということは事実である
事実8: 仮にこの生家は銅なら「その返血は驚嘆す」ということは成り立つ
事実9: もし仮に「その満喫は悟るがしかし足らない」ということは偽だとしたら悟るということはない
事実10: もし仮に「「あるものは無くするし愛でる」ということは本当である」ということは成り立つということはないならそれは無くしない

仮説: この生家は銅だとしたら「その返血は仰向けだ」ということは成り立つ
1. 仮定1: 以下のように仮定する。この生家は銅である
2. 事実8と仮定1から、推論1: "その返血は驚嘆す"が導かれる
3. 推論1と事実1から、推論2: "その返血は仰向けだ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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