この会社データは上級民でない
fact1: なにがしかのものが赤らめなくて加えてそれが暗しないとすると上級民である fact2: 「通い詰めるかもしくはそれは貸すという物はない」ということは正しい fact3: もしも親しみ易くない物は変換過程であるなら赤らめるということはない fact4: 「その十一月号は通い詰めるかもしくは貸すかあるいはどちらもだ」ということは成り立たないとしたらこの会社データは暗しない fact5: すべては親しみ易くないけど変換過程である fact6: もし仮にその十一月号は涼しかなくて変換過程だということはないなら「それは長殿だ」ということは成り立つ
fact2 -> int1: 「その十一月号は通い詰めるかまたは貸すかまたは両方である」ということは嘘である; int1 & fact4 -> int2: この会社データは暗しということはない; fact5 -> int3: 「この会社データは親しみ易くないがしかしそれは変換過程である」ということは事実である; fact3 -> int4: もしこの会社データが親しみ易くないがしかしそれが変換過程ならそれは赤らめない; int3 & int4 -> int5: この会社データは赤らめない; int2 & int5 -> int6: この会社データは赤らめなくて暗しということはない; fact1 -> int7: もしこの会社データは赤らめなくて暗しないならば上級民である; int6 & int7 -> hypothesis;
$facts$ = fact1: なにがしかのものが赤らめなくて加えてそれが暗しないとすると上級民である fact2: 「通い詰めるかもしくはそれは貸すという物はない」ということは正しい fact3: もしも親しみ易くない物は変換過程であるなら赤らめるということはない fact4: 「その十一月号は通い詰めるかもしくは貸すかあるいはどちらもだ」ということは成り立たないとしたらこの会社データは暗しない fact5: すべては親しみ易くないけど変換過程である fact6: もし仮にその十一月号は涼しかなくて変換過程だということはないなら「それは長殿だ」ということは成り立つ ; $hypothesis$ = この会社データは上級民でない ; $proof$ = 
fact2 -> int1: 「その十一月号は通い詰めるかまたは貸すかまたは両方である」ということは嘘である; int1 & fact4 -> int2: この会社データは暗しということはない; fact5 -> int3: 「この会社データは親しみ易くないがしかしそれは変換過程である」ということは事実である; fact3 -> int4: もしこの会社データが親しみ易くないがしかしそれが変換過程ならそれは赤らめない; int3 & int4 -> int5: この会社データは赤らめない; int2 & int5 -> int6: この会社データは赤らめなくて暗しということはない; fact1 -> int7: もしこの会社データは赤らめなくて暗しないならば上級民である; int6 & int7 -> hypothesis; __DISPROVED__
事実1: なにがしかのものが赤らめなくて加えてそれが暗しないとすると上級民である
事実2: 「通い詰めるかもしくはそれは貸すという物はない」ということは正しい
事実3: もしも親しみ易くない物は変換過程であるなら赤らめるということはない
事実4: 「その十一月号は通い詰めるかもしくは貸すかあるいはどちらもだ」ということは成り立たないとしたらこの会社データは暗しない
事実5: すべては親しみ易くないけど変換過程である
事実6: もし仮にその十一月号は涼しかなくて変換過程だということはないなら「それは長殿だ」ということは成り立つ

仮説: この会社データは上級民でない
1. 事実2から、推論1: "「その十一月号は通い詰めるかまたは貸すかまたは両方である」ということは嘘である"が導かれる
2. 推論1と事実4から、推論2: "この会社データは暗しということはない"が導かれる
3. 事実5から、推論3: "「この会社データは親しみ易くないがしかしそれは変換過程である」ということは事実である"が導かれる
4. 事実3から、推論4: "もしこの会社データが親しみ易くないがしかしそれが変換過程ならそれは赤らめない"が導かれる
5. 推論3と推論4から、推論5: "この会社データは赤らめない"が導かれる
6. 推論2と推論5から、推論6: "この会社データは赤らめなくて暗しということはない"が導かれる
7. 事実1から、推論7: "もしこの会社データは赤らめなくて暗しないならば上級民である"が導かれる
8. 推論6と推論7から、仮説が否定される

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