「そのコンピュータシステムは稼ぎ出すし訴訟実務だ」ということは誤りだ
fact1: この荒木は勘違いし易い fact2: もし「あの制御盤は訴訟実務だ」ということは本当であるならばそのコンピュータシステムは訴訟実務である fact3: あの制御盤は掘り始める fact4: もしなにがしかのものは掘り始めれば「それが勘違いし易いしその上水牛でない」ということは嘘である fact5: もし「「あのルータはレンタルするかもしくは勘違いし易くないかどちらもである」ということは事実である」ということは偽ならばそのコンピュータシステムは稼ぎ出す fact6: もし仮に「その植民者は勘違いし易いがしかし水牛でない」ということは成り立たないとすればこの荒木はレンタルしない fact7: もしもその植民者はレンタルしないとすると「あのルータはレンタルするかまたは勘違いし易くないかどちらもである」ということは偽である fact8: もし「勘違いし易い」物はあれば「あの諸事例は水牛であるということはない」ということは事実だ fact9: もし仮に「この荒木は水牛でない」ということは事実であるならその植民者はレンタルしない fact10: 「この荒木はドアでなくてかつアクセスし易くない」ということは事実と異なる fact11: あの制御盤は訴訟実務であるしさらに掘り始める fact12: 「この荒木はドアでないしおまけにアクセスし易くない」ということは間違いなら水牛でない
fact12 & fact10 -> int1: この荒木は水牛でない; int1 & fact9 -> int2: その植民者はレンタルするということはない; int2 & fact7 -> int3: 「あのルータはレンタルするかまたは勘違いし易くない」ということは嘘だ; int3 & fact5 -> int4: そのコンピュータシステムは稼ぎ出す; fact11 -> int5: あの制御盤は訴訟実務だ; fact2 & int5 -> int6: そのコンピュータシステムは訴訟実務である; int4 & int6 -> hypothesis;
「あの諸事例は発声発語器官であるしそれは掘り始める」ということは成り立つ
fact14 -> int7: なんらかの物は勘違いし易い; int7 & fact13 -> int8: あの諸事例は水牛でない;
$facts$ = fact1: この荒木は勘違いし易い fact2: もし「あの制御盤は訴訟実務だ」ということは本当であるならばそのコンピュータシステムは訴訟実務である fact3: あの制御盤は掘り始める fact4: もしなにがしかのものは掘り始めれば「それが勘違いし易いしその上水牛でない」ということは嘘である fact5: もし「「あのルータはレンタルするかもしくは勘違いし易くないかどちらもである」ということは事実である」ということは偽ならばそのコンピュータシステムは稼ぎ出す fact6: もし仮に「その植民者は勘違いし易いがしかし水牛でない」ということは成り立たないとすればこの荒木はレンタルしない fact7: もしもその植民者はレンタルしないとすると「あのルータはレンタルするかまたは勘違いし易くないかどちらもである」ということは偽である fact8: もし「勘違いし易い」物はあれば「あの諸事例は水牛であるということはない」ということは事実だ fact9: もし仮に「この荒木は水牛でない」ということは事実であるならその植民者はレンタルしない fact10: 「この荒木はドアでなくてかつアクセスし易くない」ということは事実と異なる fact11: あの制御盤は訴訟実務であるしさらに掘り始める fact12: 「この荒木はドアでないしおまけにアクセスし易くない」ということは間違いなら水牛でない ; $hypothesis$ = 「そのコンピュータシステムは稼ぎ出すし訴訟実務だ」ということは誤りだ ; $proof$ = 
fact12 & fact10 -> int1: この荒木は水牛でない; int1 & fact9 -> int2: その植民者はレンタルするということはない; int2 & fact7 -> int3: 「あのルータはレンタルするかまたは勘違いし易くない」ということは嘘だ; int3 & fact5 -> int4: そのコンピュータシステムは稼ぎ出す; fact11 -> int5: あの制御盤は訴訟実務だ; fact2 & int5 -> int6: そのコンピュータシステムは訴訟実務である; int4 & int6 -> hypothesis; __DISPROVED__
事実1: この荒木は勘違いし易い
事実2: もし「あの制御盤は訴訟実務だ」ということは本当であるならばそのコンピュータシステムは訴訟実務である
事実3: あの制御盤は掘り始める
事実4: もしなにがしかのものは掘り始めれば「それが勘違いし易いしその上水牛でない」ということは嘘である
事実5: もし「「あのルータはレンタルするかもしくは勘違いし易くないかどちらもである」ということは事実である」ということは偽ならばそのコンピュータシステムは稼ぎ出す
事実6: もし仮に「その植民者は勘違いし易いがしかし水牛でない」ということは成り立たないとすればこの荒木はレンタルしない
事実7: もしもその植民者はレンタルしないとすると「あのルータはレンタルするかまたは勘違いし易くないかどちらもである」ということは偽である
事実8: もし「勘違いし易い」物はあれば「あの諸事例は水牛であるということはない」ということは事実だ
事実9: もし仮に「この荒木は水牛でない」ということは事実であるならその植民者はレンタルしない
事実10: 「この荒木はドアでなくてかつアクセスし易くない」ということは事実と異なる
事実11: あの制御盤は訴訟実務であるしさらに掘り始める
事実12: 「この荒木はドアでないしおまけにアクセスし易くない」ということは間違いなら水牛でない

仮説: 「そのコンピュータシステムは稼ぎ出すし訴訟実務だ」ということは誤りだ
1. 事実12と事実10から、推論1: "この荒木は水牛でない"が導かれる
2. 推論1と事実9から、推論2: "その植民者はレンタルするということはない"が導かれる
3. 推論2と事実7から、推論3: "「あのルータはレンタルするかまたは勘違いし易くない」ということは嘘だ"が導かれる
4. 推論3と事実5から、推論4: "そのコンピュータシステムは稼ぎ出す"が導かれる
5. 事実11から、推論5: "あの制御盤は訴訟実務だ"が導かれる
6. 事実2と推論5から、推論6: "そのコンピュータシステムは訴訟実務である"が導かれる
7. 推論4と推論6から、仮説が否定される

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