そのＯリアルは東縁であるけれど作曲者でない
fact1: なんらかの物が踊り回らないとすれば貢ぐしまた船外機付きである fact2: もしもこの三週末が満足するとすればそれは屋敷跡であるけど弾まない fact3: もし仮にあの中央・地方は船外機付きであるとしたら「この三週末は屋敷跡で更に弾む」ということは誤っている fact4: 仮にあの中央・地方が踊り回ればそのＯリアルは東縁だけれど作曲者でない fact5: 仮に何かは東縁だということはないとするとそれは船外機付きである fact6: そのＯリアルは満足する fact7: もしあの中央・地方は船外機付きであるとしたら「この三週末は屋敷跡であるが弾まない」ということは成り立つということはない fact8: この三週末は満足する
fact1 -> int1: もしもあの中央・地方が踊り回らないならばそれは貢ぐしかつそれは船外機付きだ; void -> assump1: 以下のように仮定する。あの中央・地方は踊り回らない; int1 & assump1 -> int2: あの中央・地方は貢ぐしかつ船外機付きである; int2 -> int3: あの中央・地方は船外機付きだ; int3 & fact7 -> int4: 「この三週末は屋敷跡であるけれど弾まない」ということは成り立つということはない; fact2 & fact8 -> int5: この三週末は屋敷跡だ一方でそれは弾まない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの中央・地方は踊り回る; int7 & fact4 -> hypothesis;
$facts$ = fact1: なんらかの物が踊り回らないとすれば貢ぐしまた船外機付きである fact2: もしもこの三週末が満足するとすればそれは屋敷跡であるけど弾まない fact3: もし仮にあの中央・地方は船外機付きであるとしたら「この三週末は屋敷跡で更に弾む」ということは誤っている fact4: 仮にあの中央・地方が踊り回ればそのＯリアルは東縁だけれど作曲者でない fact5: 仮に何かは東縁だということはないとするとそれは船外機付きである fact6: そのＯリアルは満足する fact7: もしあの中央・地方は船外機付きであるとしたら「この三週末は屋敷跡であるが弾まない」ということは成り立つということはない fact8: この三週末は満足する ; $hypothesis$ = そのＯリアルは東縁であるけれど作曲者でない ; $proof$ = 
fact1 -> int1: もしもあの中央・地方が踊り回らないならばそれは貢ぐしかつそれは船外機付きだ; void -> assump1: 以下のように仮定する。あの中央・地方は踊り回らない; int1 & assump1 -> int2: あの中央・地方は貢ぐしかつ船外機付きである; int2 -> int3: あの中央・地方は船外機付きだ; int3 & fact7 -> int4: 「この三週末は屋敷跡であるけれど弾まない」ということは成り立つということはない; fact2 & fact8 -> int5: この三週末は屋敷跡だ一方でそれは弾まない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの中央・地方は踊り回る; int7 & fact4 -> hypothesis; __PROVED__
事実1: なんらかの物が踊り回らないとすれば貢ぐしまた船外機付きである
事実2: もしもこの三週末が満足するとすればそれは屋敷跡であるけど弾まない
事実3: もし仮にあの中央・地方は船外機付きであるとしたら「この三週末は屋敷跡で更に弾む」ということは誤っている
事実4: 仮にあの中央・地方が踊り回ればそのＯリアルは東縁だけれど作曲者でない
事実5: 仮に何かは東縁だということはないとするとそれは船外機付きである
事実6: そのＯリアルは満足する
事実7: もしあの中央・地方は船外機付きであるとしたら「この三週末は屋敷跡であるが弾まない」ということは成り立つということはない
事実8: この三週末は満足する

仮説: そのＯリアルは東縁であるけれど作曲者でない
1. 事実1から、推論1: "もしもあの中央・地方が踊り回らないならばそれは貢ぐしかつそれは船外機付きだ"が導かれる
2. 仮定1: 以下のように仮定する。あの中央・地方は踊り回らない
3. 推論1と仮定1から、推論2: "あの中央・地方は貢ぐしかつ船外機付きである"が導かれる
4. 推論2から、推論3: "あの中央・地方は船外機付きだ"が導かれる
5. 推論3と事実7から、推論4: "「この三週末は屋敷跡であるけれど弾まない」ということは成り立つということはない"が導かれる
6. 事実2と事実8から、推論5: "この三週末は屋敷跡だ一方でそれは弾まない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの中央・地方は踊り回る"が導かれる
9. 推論7と事実4から、仮説が導かれる

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