その移転登記請求権は嘆かわしくない
fact1: もしもその移転登記請求権が尊くないとすればそれはトマト煮でない fact2: 尊くない物はトマト煮でないがしかし堪え難い fact3: その移転登記請求権はしょぼくないけれど的中する fact4: もし何かは尊くないならトマト煮でない fact5: もしなんらかの物が尊いとしたら堪え難い fact6: もしもその移転登記請求権はトマト煮でないけど堪え難いとすればそれは嘆かわしくない fact7: 「その移転登記請求権は的中する」ということは事実と異ならない fact8: もし仮に何かは尊いならば「それはしょぼくないけど的中する」ということは成り立たない
fact8 -> int1: もしその移転登記請求権は尊いならば「それはしょぼいということはないけれど的中する」ということは誤っている; void -> assump1: 以下のように仮定する。その移転登記請求権は尊い; int1 & assump1 -> int2: 「その移転登記請求権はしょぼくないけど的中する」ということは嘘である; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: その移転登記請求権は尊くない; fact2 -> int5: その移転登記請求権が尊くないとするとそれはトマト煮であるということはなくてまた堪え難い; int4 & int5 -> int6: その移転登記請求権はトマト煮でない一方で堪え難い; int6 & fact6 -> hypothesis;
このフレンチポリッシュは堪え難い
fact9 -> int7: もし仮に「このフレンチポリッシュは尊い」ということは確かならば堪え難い;
$facts$ = fact1: もしもその移転登記請求権が尊くないとすればそれはトマト煮でない fact2: 尊くない物はトマト煮でないがしかし堪え難い fact3: その移転登記請求権はしょぼくないけれど的中する fact4: もし何かは尊くないならトマト煮でない fact5: もしなんらかの物が尊いとしたら堪え難い fact6: もしもその移転登記請求権はトマト煮でないけど堪え難いとすればそれは嘆かわしくない fact7: 「その移転登記請求権は的中する」ということは事実と異ならない fact8: もし仮に何かは尊いならば「それはしょぼくないけど的中する」ということは成り立たない ; $hypothesis$ = その移転登記請求権は嘆かわしくない ; $proof$ = 
fact8 -> int1: もしその移転登記請求権は尊いならば「それはしょぼいということはないけれど的中する」ということは誤っている; void -> assump1: 以下のように仮定する。その移転登記請求権は尊い; int1 & assump1 -> int2: 「その移転登記請求権はしょぼくないけど的中する」ということは嘘である; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: その移転登記請求権は尊くない; fact2 -> int5: その移転登記請求権が尊くないとするとそれはトマト煮であるということはなくてまた堪え難い; int4 & int5 -> int6: その移転登記請求権はトマト煮でない一方で堪え難い; int6 & fact6 -> hypothesis; __PROVED__
事実1: もしもその移転登記請求権が尊くないとすればそれはトマト煮でない
事実2: 尊くない物はトマト煮でないがしかし堪え難い
事実3: その移転登記請求権はしょぼくないけれど的中する
事実4: もし何かは尊くないならトマト煮でない
事実5: もしなんらかの物が尊いとしたら堪え難い
事実6: もしもその移転登記請求権はトマト煮でないけど堪え難いとすればそれは嘆かわしくない
事実7: 「その移転登記請求権は的中する」ということは事実と異ならない
事実8: もし仮に何かは尊いならば「それはしょぼくないけど的中する」ということは成り立たない

仮説: その移転登記請求権は嘆かわしくない
1. 事実8から、推論1: "もしその移転登記請求権は尊いならば「それはしょぼいということはないけれど的中する」ということは誤っている"が導かれる
2. 仮定1: 以下のように仮定する。その移転登記請求権は尊い
3. 推論1と仮定1から、推論2: "「その移転登記請求権はしょぼくないけど的中する」ということは嘘である"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その移転登記請求権は尊くない"が導かれる
6. 事実2から、推論5: "その移転登記請求権が尊くないとするとそれはトマト煮であるということはなくてまた堪え難い"が導かれる
7. 推論4と推論5から、推論6: "その移転登記請求権はトマト煮でない一方で堪え難い"が導かれる
8. 推論6と事実6から、仮説が導かれる

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