The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle is kind. The cow chases the bald eagle. The cow is young. The dog sees the bald eagle. The dog visits the bald eagle. If someone is kind then they chase the cow. If someone sees the bald eagle and the bald eagle is green then they chase the dog. If someone chases the dog then they see the cow. If someone chases the dog and they are kind then the dog is kind. If someone is round and they visit the cow then the cow chases the dog. If someone is young then they chase the bald eagle. If someone sees the bald eagle and they visit the bald eagle then the bald eagle sees the cow. If someone sees the cow then they chase the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is young.
("cow" "is" "young" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If someone is kind then they chase the cow.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "cow" "+"))
If someone sees the bald eagle and the bald eagle is green then they chase the dog.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("someone" "chases" "dog" "+"))
If someone chases the dog then they see the cow.
((("someone" "chases" "dog" "+")) -> ("someone" "sees" "cow" "+"))
If someone chases the dog and they are kind then the dog is kind.
((("someone" "chases" "dog" "+") ("someone" "is" "kind" "+")) -> ("dog" "is" "kind" "+"))
If someone is round and they visit the cow then the cow chases the dog.
((("someone" "is" "round" "+") ("someone" "visits" "cow" "+")) -> ("cow" "chases" "dog" "+"))
If someone is young then they chase the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone sees the bald eagle and they visit the bald eagle then the bald eagle sees the cow.
((("someone" "sees" "bald eagle" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "cow" "+"))
If someone sees the cow then they chase the cow.
((("someone" "sees" "cow" "+")) -> ("someone" "chases" "cow" "+"))
The cow is young.
True
1
proof
[(triple5)]
("cow" "is" "young" "+")
triple5
The cow is not young.
False
1
inv-proof
[(triple5)]
("cow" "is" "young" "-")
triple5
The dog is kind.
True
3
proof
[(((triple2 triple3) -> rule4))]
("dog" "is" "kind" "+")
((triple2 triple3) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bald eagle does not see the cow.
False
2
inv-proof
[(((triple2) -> rule3) OR ((triple6 triple7) -> rule7))]
("bald eagle" "sees" "cow" "-")
((triple2) -> (rule3 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
((triple6 triple7) -> (rule7 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The dog chases the cow.
True
4
proof
[(((((triple2 triple3) -> rule4)) -> rule1))]
("dog" "chases" "cow" "+")
((((triple2 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog does not chase the cow.
False
4
inv-proof
[(((((triple2 triple3) -> rule4)) -> rule1))]
("dog" "chases" "cow" "-")
((((triple2 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cow chases the cow.
Unknown
rconc
[@3: The cow chases the cow.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule2 <- FAIL)]]
("cow" "chases" "cow" "+")
The cow does not see the cow.
Unknown
inv-rconc
[@2: The cow sees the cow.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("cow" "sees" "cow" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not visit the dog.
Unknown
inv-random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The bald eagle chases the cow.[(triple1 OR ((triple3) -> rule1) OR ((((triple2) -> rule3)) -> rule8) OR ((((triple6 triple7) -> rule7)) -> rule8))] The bald eagle chases the dog.[(triple2)] The bald eagle is kind.[(triple3)] The cow chases the bald eagle.[(triple4 OR ((triple5) -> rule6))] The cow is young.[(triple5)] The dog sees the bald eagle.[(triple6)] The dog visits the bald eagle.[(triple7)] @1: The bald eagle sees the cow.[(((triple2) -> rule3) OR ((triple6 triple7) -> rule7))] The dog is kind.[(((triple2 triple3) -> rule4))] @2: The dog chases the cow.[(((((triple2 triple3) -> rule4)) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
((triple3) -> (rule1 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
((((triple6 triple7) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
((triple5) -> (rule6 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow is young.
("cow" "is" "young" "+")
triple5
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple6
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple7
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple2) -> (rule3 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
((triple6 triple7) -> (rule7 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple2 triple3) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
((((triple2 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2