The bald eagle is green. The bald eagle likes the cat. The bald eagle visits the cat. The cat chases the bald eagle. The cat chases the squirrel. The cat is round. The cat likes the bald eagle. The cat likes the cow. The cow likes the bald eagle. The cow likes the squirrel. The squirrel chases the bald eagle. The squirrel visits the cat. If something chases the cow and the cow is green then it is nice. If something is red then it visits the squirrel. If the cat is round then the cat likes the bald eagle. If the cat is nice then the cat chases the squirrel. If the squirrel chases the bald eagle then the squirrel likes the cow. If something is green and it likes the squirrel then it visits the squirrel. If something visits the squirrel then it likes the squirrel. If the cow visits the squirrel and the cow likes the cat then the cow likes the squirrel.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If something chases the cow and the cow is green then it is nice.
((("something" "chases" "cow" "+") ("cow" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is red then it visits the squirrel.
((("something" "is" "red" "+")) -> ("something" "visits" "squirrel" "+"))
If the cat is round then the cat likes the bald eagle.
((("cat" "is" "round" "+")) -> ("cat" "likes" "bald eagle" "+"))
If the cat is nice then the cat chases the squirrel.
((("cat" "is" "nice" "+")) -> ("cat" "chases" "squirrel" "+"))
If the squirrel chases the bald eagle then the squirrel likes the cow.
((("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "likes" "cow" "+"))
If something is green and it likes the squirrel then it visits the squirrel.
((("something" "is" "green" "+") ("something" "likes" "squirrel" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the squirrel then it likes the squirrel.
((("something" "visits" "squirrel" "+")) -> ("something" "likes" "squirrel" "+"))
If the cow visits the squirrel and the cow likes the cat then the cow likes the squirrel.
((("cow" "visits" "squirrel" "+") ("cow" "likes" "cat" "+")) -> ("cow" "likes" "squirrel" "+"))
The cat likes the cow.
True
1
proof
[(triple8)]
("cat" "likes" "cow" "+")
triple8
The cat does not like the cow.
False
1
inv-proof
[(triple8)]
("cat" "likes" "cow" "-")
triple8
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "-")
The cat visits the bald eagle.
Unknown
random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the squirrel.[(triple5)] The cat is round.[(triple6)] The cat likes the bald eagle.[(triple7 OR ((triple6) -> rule3))] The cat likes the cow.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the squirrel.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The squirrel likes the cow.[(((triple11) -> rule5))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
((triple6) -> (rule3 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple10
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple11
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple12
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
((triple11) -> (rule5 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1