The bear chases the cat. The bear is cold. The bear is nice. The bear is round. The bear likes the cat. The bear likes the squirrel. The bear needs the squirrel. The cat is big. The cat likes the cow. The cat likes the squirrel. The cow chases the squirrel. The cow is round. The cow likes the bear. The cow likes the squirrel. The squirrel chases the cow. If someone likes the cow then the cow needs the cat. If someone needs the cow and the cow is nice then the cow likes the cat. If someone chases the cow then they need the squirrel. If someone is blue and they like the squirrel then they like the cat. If someone is round then they are blue. If the cat likes the bear then the cat likes the cow. If someone is big then they chase the squirrel. If someone chases the cat and the cat needs the cow then the cat likes the squirrel.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
If someone likes the cow then the cow needs the cat.
((("someone" "likes" "cow" "+")) -> ("cow" "needs" "cat" "+"))
If someone needs the cow and the cow is nice then the cow likes the cat.
((("someone" "needs" "cow" "+") ("cow" "is" "nice" "+")) -> ("cow" "likes" "cat" "+"))
If someone chases the cow then they need the squirrel.
((("someone" "chases" "cow" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is blue and they like the squirrel then they like the cat.
((("someone" "is" "blue" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "likes" "cat" "+"))
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If the cat likes the bear then the cat likes the cow.
((("cat" "likes" "bear" "+")) -> ("cat" "likes" "cow" "+"))
If someone is big then they chase the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the cat and the cat needs the cow then the cat likes the squirrel.
((("someone" "chases" "cat" "+") ("cat" "needs" "cow" "+")) -> ("cat" "likes" "squirrel" "+"))
The squirrel chases the cow.
True
1
proof
[(triple15)]
("squirrel" "chases" "cow" "+")
triple15
The cow does not like the squirrel.
False
1
inv-proof
[(triple14)]
("cow" "likes" "squirrel" "-")
triple14
The cow is blue.
True
2
proof
[(((triple12) -> rule5))]
("cow" "is" "blue" "+")
((triple12) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow does not need the cat.
False
2
inv-proof
[(((triple9) -> rule1))]
("cow" "needs" "cat" "-")
((triple9) -> (rule1 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow likes the cat.
True
4
proof
[(((((triple12) -> rule5) triple14) -> rule4))]
("cow" "likes" "cat" "+")
((((triple12) -> (rule5 % int2)) triple14) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow does not like the cat.
False
4
inv-proof
[(((((triple12) -> rule5) triple14) -> rule4))]
("cow" "likes" "cat" "-")
((((triple12) -> (rule5 % int2)) triple14) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "blue" "-")
The cow needs the squirrel.
Unknown
rconc
[@1: The cow needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "squirrel" "+")
The squirrel does not like the cat.
Unknown
inv-rconc
[@1: The squirrel likes the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "cat" "-")
The squirrel needs the cow.
Unknown
random
[@0: The squirrel needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cow" "+")
The cow does not need the bear.
Unknown
inv-random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The bear chases the cat.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear likes the cat.[(triple5 OR ((((triple4) -> rule5) triple6) -> rule4))] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7)] The cat is big.[(triple8)] The cat likes the cow.[(triple9)] The cat likes the squirrel.[(triple10)] The cow chases the squirrel.[(triple11)] The cow is round.[(triple12)] The cow likes the bear.[(triple13)] The cow likes the squirrel.[(triple14)] The squirrel chases the cow.[(triple15)] @1: The bear is blue.[(((triple4) -> rule5))] The cat chases the squirrel.[(((triple8) -> rule7))] The cow is blue.[(((triple12) -> rule5))] The cow needs the cat.[(((triple9) -> rule1))] The squirrel needs the squirrel.[(((triple15) -> rule3))] @2: The cow likes the cat.[(((((triple12) -> rule5) triple14) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
((((triple4) -> (rule5 % int2)) triple6) -> (rule4 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The cat is big.
("cat" "is" "big" "+")
triple8
The cat likes the cow.
("cat" "likes" "cow" "+")
triple9
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple10
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple11
The cow is round.
("cow" "is" "round" "+")
triple12
The cow likes the bear.
("cow" "likes" "bear" "+")
triple13
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple14
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple15
The bear is blue.
("bear" "is" "blue" "+")
((triple4) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((triple8) -> (rule7 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple12) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
((triple9) -> (rule1 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple15) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
((((triple12) -> (rule5 % int2)) triple14) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2