The bald eagle chases the bear. The bear chases the bald eagle. The bear chases the dog. The bear eats the dog. The bear sees the bald eagle. The bear sees the dog. The cow chases the dog. The cow is blue. The cow is cold. The cow is kind. The cow is red. The dog eats the bald eagle. The dog eats the cow. The dog is kind. If someone chases the dog then they eat the dog. If someone sees the cow and the cow is kind then they eat the bald eagle. If someone chases the bear then they chase the bald eagle. If someone is rough then they eat the bald eagle. If someone chases the bald eagle and they chase the bear then the bald eagle is rough. If someone sees the cow then they chase the cow. If someone eats the bald eagle then they see the cow. If someone chases the bald eagle then the bald eagle eats the cow. If someone is kind then they see the cow.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is kind.
("dog" "is" "kind" "+")
If someone chases the dog then they eat the dog.
((("someone" "chases" "dog" "+")) -> ("someone" "eats" "dog" "+"))
If someone sees the cow and the cow is kind then they eat the bald eagle.
((("someone" "sees" "cow" "+") ("cow" "is" "kind" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone chases the bear then they chase the bald eagle.
((("someone" "chases" "bear" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is rough then they eat the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone chases the bald eagle and they chase the bear then the bald eagle is rough.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "bear" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone sees the cow then they chase the cow.
((("someone" "sees" "cow" "+")) -> ("someone" "chases" "cow" "+"))
If someone eats the bald eagle then they see the cow.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "cow" "+"))
If someone chases the bald eagle then the bald eagle eats the cow.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
If someone is kind then they see the cow.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "cow" "+"))
The dog is kind.
True
1
proof
[(triple14)]
("dog" "is" "kind" "+")
triple14
The cow does not chase the dog.
False
1
inv-proof
[(triple7)]
("cow" "chases" "dog" "-")
triple7
The bald eagle eats the cow.
True
2
proof
[(((triple2) -> rule8) OR ((((triple1) -> rule3)) -> rule8))]
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule8 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule8) OR ((((triple1) -> rule3)) -> rule8))]
("bald eagle" "eats" "cow" "-")
((triple2) -> (rule8 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cow chases the cow.
True
3
proof
[(((((triple10) -> rule9)) -> rule6))]
("cow" "chases" "cow" "+")
((((triple10) -> (rule9 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The dog does not chase the cow.
False
3
inv-proof
[(((((triple12) -> rule7)) -> rule6) OR ((((triple14) -> rule9)) -> rule6))]
("dog" "chases" "cow" "-")
((((triple12) -> (rule7 % int2))) -> (rule6 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
((((triple14) -> (rule9 % int2))) -> (rule6 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The bald eagle eats the bald eagle.
True
5
proof
[(((((((triple1) -> rule3) triple1) -> rule5)) -> rule4))]
("bald eagle" "eats" "bald eagle" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle does not eat the bald eagle.
False
5
inv-proof
[(((((((triple1) -> rule3) triple1) -> rule5)) -> rule4))]
("bald eagle" "eats" "bald eagle" "-")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle sees the cow.
True
6
proof
[(((((((((triple1) -> rule3) triple1) -> rule5)) -> rule4)) -> rule7))]
("bald eagle" "sees" "cow" "+")
((((((((triple1) -> (rule3 % int4)) triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The bald eagle does not see the cow.
False
6
inv-proof
[(((((((((triple1) -> rule3) triple1) -> rule5)) -> rule4)) -> rule7))]
("bald eagle" "sees" "cow" "-")
((((((((triple1) -> (rule3 % int4)) triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The bald eagle chases the cow.
True
7
proof
[(((((((((((triple1) -> rule3) triple1) -> rule5)) -> rule4)) -> rule7)) -> rule6))]
("bald eagle" "chases" "cow" "+")
((((((((((triple1) -> (rule3 % int5)) triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % 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 eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int5
The bald eagle does not chase the cow.
False
7
inv-proof
[(((((((((((triple1) -> rule3) triple1) -> rule5)) -> rule4)) -> rule7)) -> rule6))]
("bald eagle" "chases" "cow" "-")
((((((((((triple1) -> (rule3 % int5)) triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % 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 eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int5
The bear does not eat the bald eagle.
Unknown
inv-rconc
[@3: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule7 <- rule4 <- FAIL)]]
("bear" "eats" "bald eagle" "-")
The cow chases the bald eagle.
Unknown
rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The bear does not see the cow.
Unknown
inv-rconc
[@3: The bear sees the cow.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule9 <- FAIL)]]
("bear" "sees" "cow" "-")
The bald eagle eats the dog.
Unknown
rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "dog" "+")
The dog does not chase the bald eagle.
Unknown
inv-rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "bald eagle" "-")
The bear chases the cow.
Unknown
rconc
[@4: The bear chases the cow.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule2 <- rule9 <- FAIL)]]
("bear" "chases" "cow" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bald eagle chases the bear.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear chases the dog.[(triple3)] The bear eats the dog.[(triple4 OR ((triple3) -> rule1))] The bear sees the bald eagle.[(triple5)] The bear sees the dog.[(triple6)] The cow chases the dog.[(triple7)] The cow is blue.[(triple8)] The cow is cold.[(triple9)] The cow is kind.[(triple10)] The cow is red.[(triple11)] The dog eats the bald eagle.[(triple12 OR ((((triple14) -> rule9) triple10) -> rule2))] The dog eats the cow.[(triple13)] The dog is kind.[(triple14)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule3))] The bald eagle eats the cow.[(((triple2) -> rule8) OR ((((triple1) -> rule3)) -> rule8))] The cow eats the dog.[(((triple7) -> rule1))] The cow sees the cow.[(((triple10) -> rule9))] The dog sees the cow.[(((triple12) -> rule7) OR ((triple14) -> rule9))] @2: The bald eagle is rough.[(((((triple1) -> rule3) triple1) -> rule5))] The cow chases the cow.[(((((triple10) -> rule9)) -> rule6))] The cow eats the bald eagle.[(((((triple10) -> rule9) triple10) -> rule2))] The dog chases the cow.[(((((triple12) -> rule7)) -> rule6) OR ((((triple14) -> rule9)) -> rule6))] @3: The bald eagle eats the bald eagle.[(((((((triple1) -> rule3) triple1) -> rule5)) -> rule4))] @4: The bald eagle sees the cow.[(((((((((triple1) -> rule3) triple1) -> rule5)) -> rule4)) -> rule7))] @5: The bald eagle chases the cow.[(((((((((((triple1) -> rule3) triple1) -> rule5)) -> rule4)) -> rule7)) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The bear chases the dog.
("bear" "chases" "dog" "+")
triple3
The bear eats the dog.
("bear" "eats" "dog" "+")
triple4
((triple3) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The cow chases the dog.
("cow" "chases" "dog" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple10
The cow is red.
("cow" "is" "red" "+")
triple11
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple12
((((triple14) -> (rule9 % int2)) triple10) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The dog eats the cow.
("dog" "eats" "cow" "+")
triple13
The dog is kind.
("dog" "is" "kind" "+")
triple14
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule8 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cow eats the dog.
("cow" "eats" "dog" "+")
((triple7) -> (rule1 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple10) -> (rule9 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
((triple12) -> (rule7 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
((triple14) -> (rule9 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
((((triple10) -> (rule9 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
((((triple10) -> (rule9 % int2)) triple10) -> (rule2 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
((((triple12) -> (rule7 % int2))) -> (rule6 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
((((triple14) -> (rule9 % int2))) -> (rule6 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((((((((triple1) -> (rule3 % int4)) triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int4
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((((((((((triple1) -> (rule3 % int5)) triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % 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 eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int5