あの仏法僧はシェイドでない
fact1: もしあの仏法僧は引き裂くけれど漉し取るということはないとすればそれは探検する fact2: あの商売敵は歩すけれどシェイドでない fact3: あの仏法僧は発電効率であるがそれは思慮深くない fact4: あの仏法僧は自嘲だということはない fact5: あの仏法僧は漉し取る一方で人間集団でない fact6: 仮にあの仏法僧が漉し取るが人間集団でないならそれはシェイドだ
fact6 & fact5 -> hypothesis;
fact6 & fact5 -> hypothesis;
$facts$ = fact1: もしあの仏法僧は引き裂くけれど漉し取るということはないとすればそれは探検する fact2: あの商売敵は歩すけれどシェイドでない fact3: あの仏法僧は発電効率であるがそれは思慮深くない fact4: あの仏法僧は自嘲だということはない fact5: あの仏法僧は漉し取る一方で人間集団でない fact6: 仮にあの仏法僧が漉し取るが人間集団でないならそれはシェイドだ ; $hypothesis$ = あの仏法僧はシェイドでない ; $proof$ = 
fact6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしあの仏法僧は引き裂くけれど漉し取るということはないとすればそれは探検する
事実2: あの商売敵は歩すけれどシェイドでない
事実3: あの仏法僧は発電効率であるがそれは思慮深くない
事実4: あの仏法僧は自嘲だということはない
事実5: あの仏法僧は漉し取る一方で人間集団でない
事実6: 仮にあの仏法僧が漉し取るが人間集団でないならそれはシェイドだ

仮説: あの仏法僧はシェイドでない
1. 事実6と事実5から、仮説が否定される

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