あの浄心はメタキーだ
fact1: あの浄心は処分出来るしファクスだ fact2: あの脂漏性角化症は手痛くない fact3: あの浄心は処分出来る fact4: あの浄心は手痛い fact5: もしあの浄心が処分出来るとするとこの父高卒層はメタキーだ fact6: 仮にファクスが気の毒過ぎるとしたらそれはメタキーでない fact7: もし仮になにかはファクスでないとすればメタキーであるしおまけに処分出来る fact8: あの浄心は背伸びするししかもそれはＮＨＡだ fact9: 「あの浄心は気の毒過ぎるし手痛い」ということは真実だ
fact1 -> int1: あの浄心はファクスだ; fact9 -> int2: あの浄心は気の毒過ぎる; int1 & int2 -> int3: あの浄心はファクスであるしまた気の毒過ぎる; fact6 -> int4: もしもあの浄心がファクスだし気の毒過ぎるならそれはメタキーだということはない; int3 & int4 -> hypothesis;
「あの浄心はメタキーである」ということは嘘だということはない
fact10 -> int5: 「仮に「あの浄心はファクスでない」ということは確かであるならばあの浄心はメタキーであるし更に処分出来る」ということは偽でない;
$facts$ = fact1: あの浄心は処分出来るしファクスだ fact2: あの脂漏性角化症は手痛くない fact3: あの浄心は処分出来る fact4: あの浄心は手痛い fact5: もしあの浄心が処分出来るとするとこの父高卒層はメタキーだ fact6: 仮にファクスが気の毒過ぎるとしたらそれはメタキーでない fact7: もし仮になにかはファクスでないとすればメタキーであるしおまけに処分出来る fact8: あの浄心は背伸びするししかもそれはＮＨＡだ fact9: 「あの浄心は気の毒過ぎるし手痛い」ということは真実だ ; $hypothesis$ = あの浄心はメタキーだ ; $proof$ = 
fact1 -> int1: あの浄心はファクスだ; fact9 -> int2: あの浄心は気の毒過ぎる; int1 & int2 -> int3: あの浄心はファクスであるしまた気の毒過ぎる; fact6 -> int4: もしもあの浄心がファクスだし気の毒過ぎるならそれはメタキーだということはない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの浄心は処分出来るしファクスだ
事実2: あの脂漏性角化症は手痛くない
事実3: あの浄心は処分出来る
事実4: あの浄心は手痛い
事実5: もしあの浄心が処分出来るとするとこの父高卒層はメタキーだ
事実6: 仮にファクスが気の毒過ぎるとしたらそれはメタキーでない
事実7: もし仮になにかはファクスでないとすればメタキーであるしおまけに処分出来る
事実8: あの浄心は背伸びするししかもそれはＮＨＡだ
事実9: 「あの浄心は気の毒過ぎるし手痛い」ということは真実だ

仮説: あの浄心はメタキーだ
1. 事実1から、推論1: "あの浄心はファクスだ"が導かれる
2. 事実9から、推論2: "あの浄心は気の毒過ぎる"が導かれる
3. 推論1と推論2から、推論3: "あの浄心はファクスであるしまた気の毒過ぎる"が導かれる
4. 事実6から、推論4: "もしもあの浄心がファクスだし気の毒過ぎるならそれはメタキーだということはない"が導かれる
5. 推論3と推論4から、仮説が否定される

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