The bald eagle does not see the cow. The cow chases the bald eagle. The cow is not green. The cow is not nice. The cow is rough. The cow needs the bald eagle. The cow sees the bald eagle. If the cow sees the bald eagle and the cow chases the bald eagle then the bald eagle is blue. If something needs the cow then the cow chases the bald eagle. If the cow does not chase the bald eagle then the cow is round.
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If the cow sees the bald eagle and the cow chases the bald eagle then the bald eagle is blue.
((("cow" "sees" "bald eagle" "+") ("cow" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If something needs the cow then the cow chases the bald eagle.
((("something" "needs" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If the cow does not chase the bald eagle then the cow is round.
((("cow" "chases" "bald eagle" "~")) -> ("cow" "is" "round" "+"))
The bald eagle does not see the cow.
True
1
proof
[(triple1)]
("bald eagle" "sees" "cow" "-")
triple1
The cow does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("cow" "needs" "bald eagle" "-")
triple6
The bald eagle is blue.
True
3
proof
[(((triple7 triple2) -> rule1))]
("bald eagle" "is" "blue" "+")
((triple7 triple2) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
3
inv-proof
[(((triple7 triple2) -> rule1))]
("bald eagle" "is" "blue" "-")
((triple7 triple2) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "round" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The bald eagle does not chase the cow.
Unknown
inv-random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle does not see the cow.[(triple1)] The cow chases the bald eagle.[(triple2)] The cow is not green.[(triple3)] The cow is not nice.[(triple4)] The cow is rough.[(triple5)] The cow needs the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The bald eagle is blue.[(((triple7 triple2) -> rule1))]
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple2
The cow is not green.
("cow" "is" "green" "-")
triple3
The cow is not nice.
("cow" "is" "nice" "-")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple7 triple2) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1