その伝達関数は相見える
fact1: 仮にその修辞学が相見えればその伝達関数は相見える fact2: 「あの珍は安いということはない」ということは事実だ fact3: 仮に「あの珍は探知するけど県官でない」ということは間違っているとすればそれは探知しない fact4: なにがしかのものが探知するということはないけれど相見えるとしたら鵺でない fact5: その伝達関数は鵺でない fact6: あの珍は安くないとすると「探知するしかつ県官でない」ということは誤っている fact7: その伝達関数は鵺でないしそれは相見えない
fact7 -> hypothesis;
fact7 -> hypothesis;
その伝達関数は相見える
$facts$ = fact1: 仮にその修辞学が相見えればその伝達関数は相見える fact2: 「あの珍は安いということはない」ということは事実だ fact3: 仮に「あの珍は探知するけど県官でない」ということは間違っているとすればそれは探知しない fact4: なにがしかのものが探知するということはないけれど相見えるとしたら鵺でない fact5: その伝達関数は鵺でない fact6: あの珍は安くないとすると「探知するしかつ県官でない」ということは誤っている fact7: その伝達関数は鵺でないしそれは相見えない ; $hypothesis$ = その伝達関数は相見える ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 仮にその修辞学が相見えればその伝達関数は相見える
事実2: 「あの珍は安いということはない」ということは事実だ
事実3: 仮に「あの珍は探知するけど県官でない」ということは間違っているとすればそれは探知しない
事実4: なにがしかのものが探知するということはないけれど相見えるとしたら鵺でない
事実5: その伝達関数は鵺でない
事実6: あの珍は安くないとすると「探知するしかつ県官でない」ということは誤っている
事実7: その伝達関数は鵺でないしそれは相見えない

仮説: その伝達関数は相見える
1. 事実7から、仮説が否定される

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