The bald eagle does not chase the squirrel. The bald eagle is blue. The bald eagle is not nice. The bald eagle does not like the cat. The bald eagle visits the cat. The cat chases the bald eagle. The cat is not blue. The cat is cold. The cat is not nice. The cat likes the bald eagle. The cat visits the squirrel. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is cold. The squirrel likes the bald eagle. If something chases the bald eagle then the bald eagle visits the cat. If something chases the squirrel and it chases the cat then it likes the bald eagle. If the squirrel is nice then the squirrel does not like the bald eagle. If the bald eagle does not chase the cat then the bald eagle is red. If the cat likes the squirrel and the squirrel likes the cat then the cat chases the bald eagle. If something visits the bald eagle and the bald eagle chases the cat then the cat is blue. If the cat does not visit the squirrel then the cat chases the squirrel. If something is red then it does not chase the bald eagle.
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle does not like 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 is not blue.
("cat" "is" "blue" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If something chases the bald eagle then the bald eagle visits the cat.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "cat" "+"))
If something chases the squirrel and it chases the cat then it likes the bald eagle.
((("something" "chases" "squirrel" "+") ("something" "chases" "cat" "+")) -> ("something" "likes" "bald eagle" "+"))
If the squirrel is nice then the squirrel does not like the bald eagle.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "likes" "bald eagle" "-"))
If the bald eagle does not chase the cat then the bald eagle is red.
((("bald eagle" "chases" "cat" "~")) -> ("bald eagle" "is" "red" "+"))
If the cat likes the squirrel and the squirrel likes the cat then the cat chases the bald eagle.
((("cat" "likes" "squirrel" "+") ("squirrel" "likes" "cat" "+")) -> ("cat" "chases" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle chases the cat then the cat is blue.
((("something" "visits" "bald eagle" "+") ("bald eagle" "chases" "cat" "+")) -> ("cat" "is" "blue" "+"))
If the cat does not visit the squirrel then the cat chases the squirrel.
((("cat" "visits" "squirrel" "~")) -> ("cat" "chases" "squirrel" "+"))
If something is red then it does not chase the bald eagle.
((("something" "is" "red" "+")) -> ("something" "chases" "bald eagle" "-"))
The cat visits the squirrel.
True
1
proof
[(triple11)]
("cat" "visits" "squirrel" "+")
triple11
The cat is blue.
False
1
inv-proof
[(triple7)]
("cat" "is" "blue" "+")
triple7
The cat does not chase the squirrel.
Unknown
inv-rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "chases" "squirrel" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle does not like the cat.[(triple4)] The bald eagle is blue.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle visits the cat.[(triple5 OR ((triple12) -> rule1) OR ((triple6) -> rule1))] The cat chases the bald eagle.[(triple6)] The cat is cold.[(triple8)] The cat is not blue.[(triple7)] The cat is not nice.[(triple9)] The cat likes the bald eagle.[(triple10)] The cat visits the squirrel.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is cold.[(triple14)] The squirrel likes the bald eagle.[(triple15)]
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple1
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
((triple12) -> (rule1 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
((triple6) -> (rule1 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
The cat is cold.
("cat" "is" "cold" "+")
triple8
The cat is not blue.
("cat" "is" "blue" "-")
triple7
The cat is not nice.
("cat" "is" "nice" "-")
triple9
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple10
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple11
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15