The bear is rough. The bear needs the cat. The bear visits the lion. The cat is rough. The cat likes the lion. The cat needs the bear. The cat needs the lion. The cat visits the bear. The cat visits the lion. The lion likes the bear. The lion likes the cat. The lion visits the bear. If someone likes the bear and the bear visits the lion then they are red. If someone is rough and they like the bear then the bear needs the cat. If someone visits the bear and they like the cat then they visit the lion. If someone visits the lion and they need the cat then they like the bear. If someone is rough and they visit the lion then the lion needs the bear. Red people are big.
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone likes the bear and the bear visits the lion then they are red.
((("someone" "likes" "bear" "+") ("bear" "visits" "lion" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and they like the bear then the bear needs the cat.
((("someone" "is" "rough" "+") ("someone" "likes" "bear" "+")) -> ("bear" "needs" "cat" "+"))
If someone visits the bear and they like the cat then they visit the lion.
((("someone" "visits" "bear" "+") ("someone" "likes" "cat" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the lion and they need the cat then they like the bear.
((("someone" "visits" "lion" "+") ("someone" "needs" "cat" "+")) -> ("someone" "likes" "bear" "+"))
If someone is rough and they visit the lion then the lion needs the bear.
((("someone" "is" "rough" "+") ("someone" "visits" "lion" "+")) -> ("lion" "needs" "bear" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
The cat needs the lion.
True
1
proof
[(triple7)]
("cat" "needs" "lion" "+")
triple7
The cat is not rough.
False
1
inv-proof
[(triple4)]
("cat" "is" "rough" "-")
triple4
The bear likes the bear.
True
3
proof
[(((triple3 triple2) -> rule4))]
("bear" "likes" "bear" "+")
((triple3 triple2) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The lion does not visit the lion.
False
3
inv-proof
[(((triple12 triple11) -> rule3))]
("lion" "visits" "lion" "-")
((triple12 triple11) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The bear is red.
True
5
proof
[(((((triple3 triple2) -> rule4) triple3) -> rule1))]
("bear" "is" "red" "+")
((((triple3 triple2) -> (rule4 % int2)) triple3) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is not red.
False
5
inv-proof
[(((((triple3 triple2) -> rule4) triple3) -> rule1))]
("bear" "is" "red" "-")
((((triple3 triple2) -> (rule4 % int2)) triple3) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is big.
True
6
proof
[(((((((triple3 triple2) -> rule4) triple3) -> rule1)) -> rule6))]
("bear" "is" "big" "+")
((((((triple3 triple2) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The bear is not big.
False
6
inv-proof
[(((((((triple3 triple2) -> rule4) triple3) -> rule1)) -> rule6))]
("bear" "is" "big" "-")
((((((triple3 triple2) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The cat is not red.
Unknown
inv-rconc
[@2: The cat is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("cat" "is" "red" "-")
The cat likes the bear.
Unknown
rconc
[@1: The cat likes the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "likes" "bear" "+")
The cat is not big.
Unknown
inv-rconc
[@3: The cat is big.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule4 <- FAIL)]]
("cat" "is" "big" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear likes the cat.
Unknown
random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bear needs the lion.
Unknown
random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "+")
@0: The bear is rough.[(triple1)] The bear needs the cat.[(triple2)] The bear visits the lion.[(triple3)] The cat is rough.[(triple4)] The cat likes the lion.[(triple5)] The cat needs the bear.[(triple6)] The cat needs the lion.[(triple7)] The cat visits the bear.[(triple8)] The cat visits the lion.[(triple9)] The lion likes the bear.[(triple10)] The lion likes the cat.[(triple11)] The lion visits the bear.[(triple12)] @1: The bear likes the bear.[(((triple3 triple2) -> rule4))] The lion is red.[(((triple10 triple3) -> rule1))] The lion needs the bear.[(((triple1 triple3) -> rule5) OR ((triple4 triple9) -> rule5))] The lion visits the lion.[(((triple12 triple11) -> rule3))] @2: The bear is red.[(((((triple3 triple2) -> rule4) triple3) -> rule1))] The lion is big.[(((((triple10 triple3) -> rule1)) -> rule6))] @3: The bear is big.[(((((((triple3 triple2) -> rule4) triple3) -> rule1)) -> rule6))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The bear visits the lion.
("bear" "visits" "lion" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat likes the lion.
("cat" "likes" "lion" "+")
triple5
The cat needs the bear.
("cat" "needs" "bear" "+")
triple6
The cat needs the lion.
("cat" "needs" "lion" "+")
triple7
The cat visits the bear.
("cat" "visits" "bear" "+")
triple8
The cat visits the lion.
("cat" "visits" "lion" "+")
triple9
The lion likes the bear.
("lion" "likes" "bear" "+")
triple10
The lion likes the cat.
("lion" "likes" "cat" "+")
triple11
The lion visits the bear.
("lion" "visits" "bear" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple3 triple2) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The lion is red.
("lion" "is" "red" "+")
((triple10 triple3) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
((triple1 triple3) -> (rule5 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
((triple4 triple9) -> (rule5 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple12 triple11) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple3 triple2) -> (rule4 % int2)) triple3) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The lion is big.
("lion" "is" "big" "+")
((((triple10 triple3) -> (rule1 % int2))) -> (rule6 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The bear is big.
("bear" "is" "big" "+")
((((((triple3 triple2) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3