この交換価値は清いものであり更に遊ばさない
fact1: 「この交換価値はレビューするがそれは遊ばさない」ということは成り立たない fact2: もしこの交換価値が清いけどそれが遊ばさないとすればあの手工はレビューしない fact3: その手工は五裂しないがしかしレビューする fact4: その手工は遊ばす fact5: 「この交換価値は五裂するしそれは遊ばす」ということは成り立つということはない fact6: その手工は五裂しない fact7: その手工は清い一方で五裂しない
void -> assump1: 以下のように仮定する。この交換価値は清いけどそれは遊ばさない; fact2 & assump1 -> int1: 「その手工はレビューしない」ということは正しい; fact3 -> int2: その手工はレビューする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「この交換価値はレビューするがそれは遊ばさない」ということは成り立たない fact2: もしこの交換価値が清いけどそれが遊ばさないとすればあの手工はレビューしない fact3: その手工は五裂しないがしかしレビューする fact4: その手工は遊ばす fact5: 「この交換価値は五裂するしそれは遊ばす」ということは成り立つということはない fact6: その手工は五裂しない fact7: その手工は清い一方で五裂しない ; $hypothesis$ = この交換価値は清いものであり更に遊ばさない ; $proof$ = 
void -> assump1: 以下のように仮定する。この交換価値は清いけどそれは遊ばさない; fact2 & assump1 -> int1: 「その手工はレビューしない」ということは正しい; fact3 -> int2: その手工はレビューする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「この交換価値はレビューするがそれは遊ばさない」ということは成り立たない
事実2: もしこの交換価値が清いけどそれが遊ばさないとすればあの手工はレビューしない
事実3: その手工は五裂しないがしかしレビューする
事実4: その手工は遊ばす
事実5: 「この交換価値は五裂するしそれは遊ばす」ということは成り立つということはない
事実6: その手工は五裂しない
事実7: その手工は清い一方で五裂しない

仮説: この交換価値は清いものであり更に遊ばさない
1. 仮定1: 以下のように仮定する。この交換価値は清いけどそれは遊ばさない
2. 事実2と仮定1から、推論1: "「その手工はレビューしない」ということは正しい"が導かれる
3. 事実3から、推論2: "その手工はレビューする"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。