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