The bald eagle is green. The bald eagle likes the cat. The bald eagle likes the squirrel. The cat chases the squirrel. The cat is round. The cat needs the tiger. The squirrel chases the cat. The squirrel chases the tiger. The squirrel is blue. The squirrel is round. The squirrel needs the tiger. The tiger needs the cat. If the cat likes the bald eagle then the bald eagle likes the squirrel. If someone likes the cat then the cat likes the tiger. If the cat chases the tiger and the cat chases the squirrel then the tiger chases the cat. If someone is kind then they need the tiger. If the squirrel is red then the squirrel chases the cat. If someone likes the squirrel and they are kind then they chase the tiger.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If the cat likes the bald eagle then the bald eagle likes the squirrel.
((("cat" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone likes the cat then the cat likes the tiger.
((("someone" "likes" "cat" "+")) -> ("cat" "likes" "tiger" "+"))
If the cat chases the tiger and the cat chases the squirrel then the tiger chases the cat.
((("cat" "chases" "tiger" "+") ("cat" "chases" "squirrel" "+")) -> ("tiger" "chases" "cat" "+"))
If someone is kind then they need the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "tiger" "+"))
If the squirrel is red then the squirrel chases the cat.
((("squirrel" "is" "red" "+")) -> ("squirrel" "chases" "cat" "+"))
If someone likes the squirrel and they are kind then they chase the tiger.
((("someone" "likes" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "tiger" "+"))
The cat is round.
True
1
proof
[(triple5)]
("cat" "is" "round" "+")
triple5
The squirrel is not round.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "round" "-")
triple10
The cat likes the tiger.
True
2
proof
[(((triple2) -> rule2))]
("cat" "likes" "tiger" "+")
((triple2) -> (rule2 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat does not like the tiger.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "likes" "tiger" "-")
((triple2) -> (rule2 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The cat does not need the bald eagle.
Unknown
inv-random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "-")
The squirrel needs the cat.
Unknown
random
[@0: The squirrel needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cat" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The cat chases the squirrel.[(triple4)] The cat is round.[(triple5)] The cat needs the tiger.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is round.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger needs the cat.[(triple12)] @1: The cat likes the tiger.[(((triple2) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple6
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple11
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple12
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple2) -> (rule2 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1