その分身は用立てない
fact1: もしあの一層は寿司高であるならば「この鵲は浸けないが解し得る」ということは偽だ fact2: なんらかの物は自棄っぱちでまた用立てる fact3: もしこの日米欧が味気なくないならばその分身は自棄っぱちでない fact4: この日米欧は味気なくない fact5: 仮に「ある物は浸けないけど解し得る」ということは成り立たないとしたらそれは解し得ない fact6: もし「自棄っぱちでないししかも用立てる」物はあるなら「この鵲は解し得る」ということは確かだ fact7: 「自棄っぱちであるということはない」ものはある fact8: あの一層は記載・記録するし寿司高だ
fact3 & fact4 -> int1: その分身は自棄っぱちであるということはない; void -> assump1: 以下のように仮定する。その分身は用立てる; int1 & assump1 -> int2: その分身は自棄っぱちでないが用立てる; int2 -> int3: 何かは自棄っぱちでないが用立てる; int3 & fact6 -> int4: この鵲は解し得る; fact5 -> int5: 仮に「この鵲は浸けないがしかし解し得る」ということは成り立たないとすれば解し得るということはない; fact8 -> int6: あの一層は寿司高だ; int6 & fact1 -> int7: 「この鵲は浸けないが解し得る」ということは誤りだ; int5 & int7 -> int8: この鵲は解し得るということはない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
$facts$ = fact1: もしあの一層は寿司高であるならば「この鵲は浸けないが解し得る」ということは偽だ fact2: なんらかの物は自棄っぱちでまた用立てる fact3: もしこの日米欧が味気なくないならばその分身は自棄っぱちでない fact4: この日米欧は味気なくない fact5: 仮に「ある物は浸けないけど解し得る」ということは成り立たないとしたらそれは解し得ない fact6: もし「自棄っぱちでないししかも用立てる」物はあるなら「この鵲は解し得る」ということは確かだ fact7: 「自棄っぱちであるということはない」ものはある fact8: あの一層は記載・記録するし寿司高だ ; $hypothesis$ = その分身は用立てない ; $proof$ = 
fact3 & fact4 -> int1: その分身は自棄っぱちであるということはない; void -> assump1: 以下のように仮定する。その分身は用立てる; int1 & assump1 -> int2: その分身は自棄っぱちでないが用立てる; int2 -> int3: 何かは自棄っぱちでないが用立てる; int3 & fact6 -> int4: この鵲は解し得る; fact5 -> int5: 仮に「この鵲は浸けないがしかし解し得る」ということは成り立たないとすれば解し得るということはない; fact8 -> int6: あの一層は寿司高だ; int6 & fact1 -> int7: 「この鵲は浸けないが解し得る」ということは誤りだ; int5 & int7 -> int8: この鵲は解し得るということはない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしあの一層は寿司高であるならば「この鵲は浸けないが解し得る」ということは偽だ
事実2: なんらかの物は自棄っぱちでまた用立てる
事実3: もしこの日米欧が味気なくないならばその分身は自棄っぱちでない
事実4: この日米欧は味気なくない
事実5: 仮に「ある物は浸けないけど解し得る」ということは成り立たないとしたらそれは解し得ない
事実6: もし「自棄っぱちでないししかも用立てる」物はあるなら「この鵲は解し得る」ということは確かだ
事実7: 「自棄っぱちであるということはない」ものはある
事実8: あの一層は記載・記録するし寿司高だ

仮説: その分身は用立てない
1. 事実3と事実4から、推論1: "その分身は自棄っぱちであるということはない"が導かれる
2. 仮定1: 以下のように仮定する。その分身は用立てる
3. 推論1と仮定1から、推論2: "その分身は自棄っぱちでないが用立てる"が導かれる
4. 推論2から、推論3: "何かは自棄っぱちでないが用立てる"が導かれる
5. 推論3と事実6から、推論4: "この鵲は解し得る"が導かれる
6. 事実5から、推論5: "仮に「この鵲は浸けないがしかし解し得る」ということは成り立たないとすれば解し得るということはない"が導かれる
7. 事実8から、推論6: "あの一層は寿司高だ"が導かれる
8. 推論6と事実1から、推論7: "「この鵲は浸けないが解し得る」ということは誤りだ"が導かれる
9. 推論5と推論7から、推論8: "この鵲は解し得るということはない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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