The bear eats the cat. The bear is nice. The cat eats the bear. The cat is big. The cat likes the bear. The cat likes the lion. The lion eats the bear. The lion is nice. The lion sees the bear. The lion sees the cat. If the lion sees the cat and the cat sees the lion then the lion likes the bear. If the cat sees the lion then the cat is big. If someone likes the cat then the cat is young. If someone eats the lion and the lion likes the cat then the cat likes the lion. If someone sees the bear and they are nice then the bear likes the cat. If the cat likes the lion and the lion eats the cat then the lion is rough.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is nice.
("bear" "is" "nice" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
If the lion sees the cat and the cat sees the lion then the lion likes the bear.
((("lion" "sees" "cat" "+") ("cat" "sees" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If the cat sees the lion then the cat is big.
((("cat" "sees" "lion" "+")) -> ("cat" "is" "big" "+"))
If someone likes the cat then the cat is young.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "young" "+"))
If someone eats the lion and the lion likes the cat then the cat likes the lion.
((("someone" "eats" "lion" "+") ("lion" "likes" "cat" "+")) -> ("cat" "likes" "lion" "+"))
If someone sees the bear and they are nice then the bear likes the cat.
((("someone" "sees" "bear" "+") ("someone" "is" "nice" "+")) -> ("bear" "likes" "cat" "+"))
If the cat likes the lion and the lion eats the cat then the lion is rough.
((("cat" "likes" "lion" "+") ("lion" "eats" "cat" "+")) -> ("lion" "is" "rough" "+"))
The cat eats the bear.
True
1
proof
[(triple3)]
("cat" "eats" "bear" "+")
triple3
The cat does not like the bear.
False
1
inv-proof
[(triple5)]
("cat" "likes" "bear" "-")
triple5
The bear likes the cat.
True
3
proof
[(((triple9 triple8) -> rule5))]
("bear" "likes" "cat" "+")
((triple9 triple8) -> (rule5 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear does not like the cat.
False
3
inv-proof
[(((triple9 triple8) -> rule5))]
("bear" "likes" "cat" "-")
((triple9 triple8) -> (rule5 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The cat is young.
True
4
proof
[(((((triple9 triple8) -> rule5)) -> rule3))]
("cat" "is" "young" "+")
((((triple9 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The cat is not young.
False
4
inv-proof
[(((((triple9 triple8) -> rule5)) -> rule3))]
("cat" "is" "young" "-")
((((triple9 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
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 likes the bear.
Unknown
rconc
[@1: The lion likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "bear" "+")
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 is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The bear does not see the lion.
Unknown
inv-random
[@0: The bear sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "lion" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear eats the cat.[(triple1)] The bear is nice.[(triple2)] The cat eats the bear.[(triple3)] The cat is big.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the lion.[(triple6)] The lion eats the bear.[(triple7)] The lion is nice.[(triple8)] The lion sees the bear.[(triple9)] The lion sees the cat.[(triple10)] @1: The bear likes the cat.[(((triple9 triple8) -> rule5))] @2: The cat is young.[(((((triple9 triple8) -> rule5)) -> rule3))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The cat eats the bear.
("cat" "eats" "bear" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat likes the bear.
("cat" "likes" "bear" "+")
triple5
The cat likes the lion.
("cat" "likes" "lion" "+")
triple6
The lion eats the bear.
("lion" "eats" "bear" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion sees the bear.
("lion" "sees" "bear" "+")
triple9
The lion sees the cat.
("lion" "sees" "cat" "+")
triple10
The bear likes the cat.
("bear" "likes" "cat" "+")
((triple9 triple8) -> (rule5 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((((triple9 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2