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