The bald eagle chases the cow. The bald eagle is rough. The bald eagle likes the cow. The bald eagle needs the dog. The cow chases the bald eagle. The cow chases the dog. The cow is big. The cow likes the bald eagle. The cow likes the dog. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the cow. If someone chases the bald eagle then the bald eagle likes the dog. If someone is nice and they like the dog then the dog chases the cow. If someone is big then they chase the dog. If someone likes the bald eagle then the bald eagle likes the cow. All rough people are big. If someone needs the cow then the cow is blue.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If someone chases the bald eagle then the bald eagle likes the dog.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone is nice and they like the dog then the dog chases the cow.
((("someone" "is" "nice" "+") ("someone" "likes" "dog" "+")) -> ("dog" "chases" "cow" "+"))
If someone is big then they chase the dog.
((("someone" "is" "big" "+")) -> ("someone" "chases" "dog" "+"))
If someone likes the bald eagle then the bald eagle likes the cow.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cow" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone needs the cow then the cow is blue.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "blue" "+"))
The dog needs the bald eagle.
True
1
proof
[(triple11)]
("dog" "needs" "bald eagle" "+")
triple11
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple5)]
("cow" "chases" "bald eagle" "-")
triple5
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "big" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cow.[(triple3 OR ((triple10) -> rule4) OR ((triple8) -> rule4))] The bald eagle needs the dog.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow chases the dog.[(triple6 OR ((triple7) -> rule3))] The cow is big.[(triple7)] The cow likes the bald eagle.[(triple8)] The cow likes the dog.[(triple9)] The dog likes the bald eagle.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog needs the cow.[(triple12)] @1: The bald eagle is big.[(((triple2) -> rule5))] The bald eagle likes the dog.[(((triple5) -> rule1))] The cow is blue.[(((triple12) -> rule6))] @2: The bald eagle chases the dog.[(((((triple2) -> rule5)) -> rule3))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
((triple10) -> (rule4 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
((triple8) -> (rule4 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow chases the dog.
("cow" "chases" "dog" "+")
triple6
((triple7) -> (rule3 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow is big.
("cow" "is" "big" "+")
triple7
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple8
The cow likes the dog.
("cow" "likes" "dog" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
The dog needs the cow.
("dog" "needs" "cow" "+")
triple12
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple2) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple5) -> (rule1 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple12) -> (rule6 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2