その行動系列は強情でない
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から、仮説が否定される

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