The bald eagle chases the cow. The bald eagle does not chase the squirrel. The cow chases the squirrel. The cow is not blue. The cow is not cold. The cow visits the bald eagle. The squirrel needs the cow. If the cow is red and the cow does not visit the bald eagle then the cow visits the squirrel. If the cow does not visit the bald eagle then the cow is not blue. If the bald eagle does not chase the cow then the bald eagle is cold. If the cow chases the bald eagle and the cow does not chase the squirrel then the bald eagle is cold. If someone visits the bald eagle then they are not nice. If someone needs the bald eagle and the bald eagle is not nice then the bald eagle is red.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is not blue.
("cow" "is" "blue" "-")
The cow is not cold.
("cow" "is" "cold" "-")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If the cow is red and the cow does not visit the bald eagle then the cow visits the squirrel.
((("cow" "is" "red" "+") ("cow" "visits" "bald eagle" "~")) -> ("cow" "visits" "squirrel" "+"))
If the cow does not visit the bald eagle then the cow is not blue.
((("cow" "visits" "bald eagle" "~")) -> ("cow" "is" "blue" "-"))
If the bald eagle does not chase the cow then the bald eagle is cold.
((("bald eagle" "chases" "cow" "~")) -> ("bald eagle" "is" "cold" "+"))
If the cow chases the bald eagle and the cow does not chase the squirrel then the bald eagle is cold.
((("cow" "chases" "bald eagle" "+") ("cow" "chases" "squirrel" "~")) -> ("bald eagle" "is" "cold" "+"))
If someone visits the bald eagle then they are not nice.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "nice" "-"))
If someone needs the bald eagle and the bald eagle is not nice then the bald eagle is red.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "is" "nice" "~")) -> ("bald eagle" "is" "red" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The cow is blue.
False
1
inv-proof
[(triple4)]
("cow" "is" "blue" "+")
triple4
The cow is not nice.
True
2
proof
[(((triple6) -> rule5))]
("cow" "is" "nice" "-")
((triple6) -> (rule5 % int1))
The cow is not nice.
("cow" "is" "nice" "-")
int1
The cow is nice.
False
2
inv-proof
[(((triple6) -> rule5))]
("cow" "is" "nice" "+")
((triple6) -> (rule5 % int1))
The cow is not nice.
("cow" "is" "nice" "-")
int1
The cow does not visit the squirrel.
Unknown
inv-rconc
[@1: The cow visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "squirrel" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not chase the squirrel.[(triple2)] The cow chases the squirrel.[(triple3)] The cow is not blue.[(triple4)] The cow is not cold.[(triple5)] The cow visits the bald eagle.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The cow is not nice.[(((triple6) -> rule5))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple3
The cow is not blue.
("cow" "is" "blue" "-")
triple4
The cow is not cold.
("cow" "is" "cold" "-")
triple5
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple6
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple7
The cow is not nice.
("cow" "is" "nice" "-")
((triple6) -> (rule5 % int1))
The cow is not nice.
("cow" "is" "nice" "-")
int1