The bald eagle chases the dog. The bald eagle is blue. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle needs the dog. The bald eagle sees the cow. The bald eagle sees the dog. The cow chases the bald eagle. The cow is blue. The cow is rough. The cow needs the bald eagle. The cow sees the dog. The dog is young. The dog needs the bald eagle. The dog needs the cow. If something is green and it needs the cow then it is blue. Rough, blue things are young. If something sees the dog then it needs the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If something is green and it needs the cow then it is blue.
((("something" "is" "green" "+") ("something" "needs" "cow" "+")) -> ("something" "is" "blue" "+"))
Rough, blue things are young.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something sees the dog then it needs the dog.
((("something" "sees" "dog" "+")) -> ("something" "needs" "dog" "+"))
The dog needs the cow.
True
1
proof
[(triple16)]
("dog" "needs" "cow" "+")
triple16
The cow is not rough.
False
1
inv-proof
[(triple11)]
("cow" "is" "rough" "-")
triple11
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "needs" "dog" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5 OR ((triple4 triple2) -> rule2))] The bald eagle needs the dog.[(triple6 OR ((triple8) -> rule3))] The bald eagle sees the cow.[(triple7)] The bald eagle sees the dog.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow is blue.[(triple10)] The cow is rough.[(triple11)] The cow needs the bald eagle.[(triple12)] The cow sees the dog.[(triple13)] The dog is young.[(triple14)] The dog needs the bald eagle.[(triple15)] The dog needs the cow.[(triple16)] @1: The cow is young.[(((triple11 triple10) -> rule2))] The cow needs the dog.[(((triple13) -> rule3))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
((triple4 triple2) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple6
((triple8) -> (rule3 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple7
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple8
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple10
The cow is rough.
("cow" "is" "rough" "+")
triple11
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple12
The cow sees the dog.
("cow" "sees" "dog" "+")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple15
The dog needs the cow.
("dog" "needs" "cow" "+")
triple16
The cow is young.
("cow" "is" "young" "+")
((triple11 triple10) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
((triple13) -> (rule3 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1