The bald eagle chases the cow. The bald eagle is green. The bald eagle visits the cow. The cow is green. The cow is nice. The cow likes the bald eagle. The cow visits the bald eagle. If something chases the cow then the cow chases the bald eagle. If something is kind and it visits the cow then the cow is nice.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
If something chases the cow then the cow chases the bald eagle.
((("something" "chases" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If something is kind and it visits the cow then the cow is nice.
((("something" "is" "kind" "+") ("something" "visits" "cow" "+")) -> ("cow" "is" "nice" "+"))
The cow is green.
True
1
proof
[(triple4)]
("cow" "is" "green" "+")
triple4
The bald eagle is not green.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "green" "-")
triple2
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow is green.[(triple4)] The cow is nice.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow visits the bald eagle.[(triple7)] @1: The cow chases the bald eagle.[(((triple1) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple6
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple7
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1