あのアタック隊は普通林でない
fact1: この縮瞳は配合しない fact2: もしその地犬が入り辛いとするとあのアタック隊は忙しないけれど普通林であるということはない fact3: 「この縮瞳はたわいない」ということは事実である fact4: 何かは忙しなくないとするとそれはたわいない fact5: もしその地犬が忙しないとすればこの縮瞳はたわいなくなくてその上配合しない fact6: その地犬は配合しない fact7: その地犬は忙しなくないかもしくはそれは入り辛い fact8: 仮にその地犬は入り辛くないならば「あのアタック隊は普通林だ」ということは成り立つ fact9: もしその地犬が忙しないとすればこの縮瞳は配合しない fact10: もしその地犬が忙しなくないかもしくは入り辛くないかあるいはどちらもだとしたらあのアタック隊は普通林である
void -> assump1: 以下のように仮定する。その地犬は忙しない; fact5 & assump1 -> int1: この縮瞳はたわいなくなくて加えてそれは配合するということはない; int1 -> int2: この縮瞳はたわいなくない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その地犬は忙しなくない」ということは確かである; int4 -> int5: その地犬は忙しなくないかもしくは入り辛くないかもしくは両方ともである; int5 & fact10 -> hypothesis;
あのアタック隊は普通林でない
$facts$ = fact1: この縮瞳は配合しない fact2: もしその地犬が入り辛いとするとあのアタック隊は忙しないけれど普通林であるということはない fact3: 「この縮瞳はたわいない」ということは事実である fact4: 何かは忙しなくないとするとそれはたわいない fact5: もしその地犬が忙しないとすればこの縮瞳はたわいなくなくてその上配合しない fact6: その地犬は配合しない fact7: その地犬は忙しなくないかもしくはそれは入り辛い fact8: 仮にその地犬は入り辛くないならば「あのアタック隊は普通林だ」ということは成り立つ fact9: もしその地犬が忙しないとすればこの縮瞳は配合しない fact10: もしその地犬が忙しなくないかもしくは入り辛くないかあるいはどちらもだとしたらあのアタック隊は普通林である ; $hypothesis$ = あのアタック隊は普通林でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その地犬は忙しない; fact5 & assump1 -> int1: この縮瞳はたわいなくなくて加えてそれは配合するということはない; int1 -> int2: この縮瞳はたわいなくない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その地犬は忙しなくない」ということは確かである; int4 -> int5: その地犬は忙しなくないかもしくは入り辛くないかもしくは両方ともである; int5 & fact10 -> hypothesis; __DISPROVED__
事実1: この縮瞳は配合しない
事実2: もしその地犬が入り辛いとするとあのアタック隊は忙しないけれど普通林であるということはない
事実3: 「この縮瞳はたわいない」ということは事実である
事実4: 何かは忙しなくないとするとそれはたわいない
事実5: もしその地犬が忙しないとすればこの縮瞳はたわいなくなくてその上配合しない
事実6: その地犬は配合しない
事実7: その地犬は忙しなくないかもしくはそれは入り辛い
事実8: 仮にその地犬は入り辛くないならば「あのアタック隊は普通林だ」ということは成り立つ
事実9: もしその地犬が忙しないとすればこの縮瞳は配合しない
事実10: もしその地犬が忙しなくないかもしくは入り辛くないかあるいはどちらもだとしたらあのアタック隊は普通林である

仮説: あのアタック隊は普通林でない
1. 仮定1: 以下のように仮定する。その地犬は忙しない
2. 事実5と仮定1から、推論1: "この縮瞳はたわいなくなくて加えてそれは配合するということはない"が導かれる
3. 推論1から、推論2: "この縮瞳はたわいなくない"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その地犬は忙しなくない」ということは確かである"が導かれる
6. 推論4から、推論5: "その地犬は忙しなくないかもしくは入り辛くないかもしくは両方ともである"が導かれる
7. 推論5と事実10から、仮説が否定される

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