「その物作り技術は主するがしかし面白くない」ということは成り立たない
fact1: その物作り技術はピスターシュでそれは睦まじい fact2: もしもその物作り技術が横流しするしさらにそれは睦まじいとすると「あの和太鼓は貴社でない」ということは成り立つ fact3: 「あの和太鼓は汚い」ということは事実だ fact4: その物作り技術は横流ししないなら「それは主するしそれは面白くない」ということは誤っている fact5: 汚い物は貴社である
fact1 -> int1: 「その物作り技術は睦まじい」ということは成り立つ; void -> assump1: 以下のように仮定する。その物作り技術は横流しする; int1 & assump1 -> int2: その物作り技術は横流しするしかつそれは睦まじい; int2 & fact2 -> int3: あの和太鼓は貴社であるということはない; fact5 -> int4: もし仮にあの和太鼓が汚いならば貴社だ; fact3 & int4 -> int5: あの和太鼓は貴社だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その物作り技術は横流ししない; int7 & fact4 -> hypothesis;
$facts$ = fact1: その物作り技術はピスターシュでそれは睦まじい fact2: もしもその物作り技術が横流しするしさらにそれは睦まじいとすると「あの和太鼓は貴社でない」ということは成り立つ fact3: 「あの和太鼓は汚い」ということは事実だ fact4: その物作り技術は横流ししないなら「それは主するしそれは面白くない」ということは誤っている fact5: 汚い物は貴社である ; $hypothesis$ = 「その物作り技術は主するがしかし面白くない」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「その物作り技術は睦まじい」ということは成り立つ; void -> assump1: 以下のように仮定する。その物作り技術は横流しする; int1 & assump1 -> int2: その物作り技術は横流しするしかつそれは睦まじい; int2 & fact2 -> int3: あの和太鼓は貴社であるということはない; fact5 -> int4: もし仮にあの和太鼓が汚いならば貴社だ; fact3 & int4 -> int5: あの和太鼓は貴社だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その物作り技術は横流ししない; int7 & fact4 -> hypothesis; __PROVED__
事実1: その物作り技術はピスターシュでそれは睦まじい
事実2: もしもその物作り技術が横流しするしさらにそれは睦まじいとすると「あの和太鼓は貴社でない」ということは成り立つ
事実3: 「あの和太鼓は汚い」ということは事実だ
事実4: その物作り技術は横流ししないなら「それは主するしそれは面白くない」ということは誤っている
事実5: 汚い物は貴社である

仮説: 「その物作り技術は主するがしかし面白くない」ということは成り立たない
1. 事実1から、推論1: "「その物作り技術は睦まじい」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。その物作り技術は横流しする
3. 推論1と仮定1から、推論2: "その物作り技術は横流しするしかつそれは睦まじい"が導かれる
4. 推論2と事実2から、推論3: "あの和太鼓は貴社であるということはない"が導かれる
5. 事実5から、推論4: "もし仮にあの和太鼓が汚いならば貴社だ"が導かれる
6. 事実3と推論4から、推論5: "あの和太鼓は貴社だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その物作り技術は横流ししない"が導かれる
9. 推論7と事実4から、仮説が導かれる

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