The bear chases the cat. The bear chases the lion. The bear eats the lion. The bear is green. The bear is nice. The bear is rough. The bear sees the lion. The cat is green. The lion chases the bear. The lion chases the cat. The lion does not eat the bear. The lion sees the bear. All big people are not green. If someone chases the bear and the bear is blue then they are blue. If someone chases the lion then they are blue. If someone is blue then they see the cat. If the bear does not eat the lion then the bear sees the cat. If someone sees the lion then they are rough. If the cat sees the bear and the cat is not green then the bear sees the lion. If someone sees the lion and the lion sees the bear then the bear is green.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion does not eat the bear.
("lion" "eats" "bear" "-")
The lion sees the bear.
("lion" "sees" "bear" "+")
All big people are not green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "-"))
If someone chases the bear and the bear is blue then they are blue.
((("someone" "chases" "bear" "+") ("bear" "is" "blue" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the lion then they are blue.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they see the cat.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "cat" "+"))
If the bear does not eat the lion then the bear sees the cat.
((("bear" "eats" "lion" "~")) -> ("bear" "sees" "cat" "+"))
If someone sees the lion then they are rough.
((("someone" "sees" "lion" "+")) -> ("someone" "is" "rough" "+"))
If the cat sees the bear and the cat is not green then the bear sees the lion.
((("cat" "sees" "bear" "+") ("cat" "is" "green" "~")) -> ("bear" "sees" "lion" "+"))
If someone sees the lion and the lion sees the bear then the bear is green.
((("someone" "sees" "lion" "+") ("lion" "sees" "bear" "+")) -> ("bear" "is" "green" "+"))
The lion sees the bear.
True
1
proof
[(triple12)]
("lion" "sees" "bear" "+")
triple12
The bear is not rough.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule6))]
("bear" "is" "rough" "-")
triple6
((triple7) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is blue.
True
2
proof
[(((triple2) -> rule3))]
("bear" "is" "blue" "+")
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "is" "blue" "-")
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear sees the cat.
True
3
proof
[(((((triple2) -> rule3)) -> rule4))]
("bear" "sees" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not see the cat.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule4))]
("bear" "sees" "cat" "-")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "blue" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "rough" "+")
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "rough" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the lion.[(triple2)] The bear eats the lion.[(triple3)] The bear is green.[(triple4 OR ((triple7 triple12) -> rule8))] The bear is nice.[(triple5)] The bear is rough.[(triple6 OR ((triple7) -> rule6))] The bear sees the lion.[(triple7)] The cat is green.[(triple8)] The lion chases the bear.[(triple9)] The lion chases the cat.[(triple10)] The lion does not eat the bear.[(triple11)] The lion sees the bear.[(triple12)] @1: The bear is blue.[(((triple2) -> rule3))] @2: The bear sees the cat.[(((((triple2) -> rule3)) -> rule4))] The lion is blue.[(((triple9 ((triple2) -> rule3)) -> rule2))] @3: The lion sees the cat.[(((((triple9 ((triple2) -> rule3)) -> rule2)) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the lion.
("bear" "chases" "lion" "+")
triple2
The bear eats the lion.
("bear" "eats" "lion" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
((triple7 triple12) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
((triple7) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
triple7
The cat is green.
("cat" "is" "green" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion chases the cat.
("lion" "chases" "cat" "+")
triple10
The lion does not eat the bear.
("lion" "eats" "bear" "-")
triple11
The lion sees the bear.
("lion" "sees" "bear" "+")
triple12
The bear is blue.
("bear" "is" "blue" "+")
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
((triple9 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The lion sees the cat.
("lion" "sees" "cat" "+")
((((triple9 ((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3