The bald eagle chases the cow. The bald eagle does not eat the cow. The bald eagle sees the bear. The bear chases the cow. The bear eats the cow. The bear eats the dog. The cow eats the dog. The cow is blue. The cow sees the bald eagle. The dog does not eat the bald eagle. The dog is green. The dog is not kind. If someone eats the dog then the dog is young. If the dog is big then the dog chases the bald eagle. If someone is green then they do not chase the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is not kind.
("dog" "is" "kind" "-")
If someone eats the dog then the dog is young.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "young" "+"))
If the dog is big then the dog chases the bald eagle.
((("dog" "is" "big" "+")) -> ("dog" "chases" "bald eagle" "+"))
If someone is green then they do not chase the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bald eagle" "-"))
The cow sees the bald eagle.
True
1
proof
[(triple9)]
("cow" "sees" "bald eagle" "+")
triple9
The bear does not eat the dog.
False
1
inv-proof
[(triple6)]
("bear" "eats" "dog" "-")
triple6
The dog does not eat the bear.
Unknown
inv-random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not eat the cow.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear chases the cow.[(triple4)] The bear eats the cow.[(triple5)] The bear eats the dog.[(triple6)] The cow eats the dog.[(triple7)] The cow is blue.[(triple8)] The cow sees the bald eagle.[(triple9)] The dog does not eat the bald eagle.[(triple10)] The dog is green.[(triple11)] The dog is not kind.[(triple12)] @1: The dog does not chase the bald eagle.[(((triple11) -> rule3))] The dog is young.[(((triple6) -> rule1) OR ((triple7) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear chases the cow.
("bear" "chases" "cow" "+")
triple4
The bear eats the cow.
("bear" "eats" "cow" "+")
triple5
The bear eats the dog.
("bear" "eats" "dog" "+")
triple6
The cow eats the dog.
("cow" "eats" "dog" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple9
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple10
The dog is green.
("dog" "is" "green" "+")
triple11
The dog is not kind.
("dog" "is" "kind" "-")
triple12
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
((triple11) -> (rule3 % int1))
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
int1
The dog is young.
("dog" "is" "young" "+")
((triple6) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((triple7) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1