The bald eagle is rough. The bald eagle is round. The bald eagle likes the cow. The bald eagle likes the dog. The cow chases the dog. The cow is green. The cow is rough. The cow is round. The cow is young. The cow likes the dog. The dog chases the cow. The dog is green. The dog is kind. The dog is round. The dog visits the cow. If someone is round and they like the dog then the dog likes the cow. If someone is rough and they chase the dog then they visit the dog. If someone visits the dog then they chase the cow.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone is round and they like the dog then the dog likes the cow.
((("someone" "is" "round" "+") ("someone" "likes" "dog" "+")) -> ("dog" "likes" "cow" "+"))
If someone is rough and they chase the dog then they visit the dog.
((("someone" "is" "rough" "+") ("someone" "chases" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the dog then they chase the cow.
((("someone" "visits" "dog" "+")) -> ("someone" "chases" "cow" "+"))
The dog chases the cow.
True
1
proof
[(triple11)]
("dog" "chases" "cow" "+")
triple11
The cow does not like the dog.
False
1
inv-proof
[(triple10)]
("cow" "likes" "dog" "-")
triple10
The cow visits the dog.
True
3
proof
[(((triple7 triple5) -> rule2))]
("cow" "visits" "dog" "+")
((triple7 triple5) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The dog does not like the cow.
False
3
inv-proof
[(((triple2 triple4) -> rule1) OR ((triple8 triple10) -> rule1))]
("dog" "likes" "cow" "-")
((triple2 triple4) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
((triple8 triple10) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The cow chases the cow.
True
4
proof
[(((((triple7 triple5) -> rule2)) -> rule3))]
("cow" "chases" "cow" "+")
((((triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2
The cow does not chase the cow.
False
4
inv-proof
[(((((triple7 triple5) -> rule2)) -> rule3))]
("cow" "chases" "cow" "-")
((((triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2
The bald eagle does not visit the dog.
Unknown
inv-rconc
[@1: The bald eagle visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "dog" "-")
The bald eagle chases the cow.
Unknown
rconc
[@2: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The bald eagle does not chase the dog.
Unknown
inv-random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog likes the bald eagle.
Unknown
random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the dog.[(triple4)] The cow chases the dog.[(triple5)] The cow is green.[(triple6)] The cow is rough.[(triple7)] The cow is round.[(triple8)] The cow is young.[(triple9)] The cow likes the dog.[(triple10)] The dog chases the cow.[(triple11)] The dog is green.[(triple12)] The dog is kind.[(triple13)] The dog is round.[(triple14)] The dog visits the cow.[(triple15)] @1: The cow visits the dog.[(((triple7 triple5) -> rule2))] The dog likes the cow.[(((triple2 triple4) -> rule1) OR ((triple8 triple10) -> rule1))] @2: The cow chases the cow.[(((((triple7 triple5) -> rule2)) -> rule3))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple4
The cow chases the dog.
("cow" "chases" "dog" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The cow is young.
("cow" "is" "young" "+")
triple9
The cow likes the dog.
("cow" "likes" "dog" "+")
triple10
The dog chases the cow.
("dog" "chases" "cow" "+")
triple11
The dog is green.
("dog" "is" "green" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
triple13
The dog is round.
("dog" "is" "round" "+")
triple14
The dog visits the cow.
("dog" "visits" "cow" "+")
triple15
The cow visits the dog.
("cow" "visits" "dog" "+")
((triple7 triple5) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple2 triple4) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
((triple8 triple10) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((((triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2