The bald eagle chases the cow. The bear chases the bald eagle. The bear chases the dog. The bear is green. The bear is rough. The bear likes the bald eagle. The bear likes the cow. The bear needs the cow. The cow chases the bald eagle. The cow chases the dog. The cow is nice. The cow likes the bear. The cow needs the bald eagle. The cow needs the dog. The dog chases the bald eagle. The dog likes the bear. If something is green and it likes the dog then the dog is red. If something is red and nice then it needs the dog. If something is green and rough then it needs the cow. If something likes the bear then the bear needs the dog. If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. If something needs the dog then it needs the bald eagle. If something is red then it likes the bald eagle. If something is kind and rough then it needs the dog. If something needs the bald eagle and it is green then it likes the dog.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
If something is green and it likes the dog then the dog is red.
((("something" "is" "green" "+") ("something" "likes" "dog" "+")) -> ("dog" "is" "red" "+"))
If something is red and nice then it needs the dog.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "dog" "+"))
If something is green and rough then it needs the cow.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "needs" "cow" "+"))
If something likes the bear then the bear needs the dog.
((("something" "likes" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow.
((("bear" "likes" "bald eagle" "+") ("bear" "is" "rough" "+")) -> ("bald eagle" "needs" "cow" "+"))
If something needs the dog then it needs the bald eagle.
((("something" "needs" "dog" "+")) -> ("something" "needs" "bald eagle" "+"))
If something is red then it likes the bald eagle.
((("something" "is" "red" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is kind and rough then it needs the dog.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "needs" "dog" "+"))
If something needs the bald eagle and it is green then it likes the dog.
((("something" "needs" "bald eagle" "+") ("something" "is" "green" "+")) -> ("something" "likes" "dog" "+"))
The cow needs the bald eagle.
True
1
proof
[(triple13 OR ((triple14) -> rule6))]
("cow" "needs" "bald eagle" "+")
triple13
((triple14) -> (rule6 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple9)]
("cow" "chases" "bald eagle" "-")
triple9
The bear needs the dog.
True
2
proof
[(((triple12) -> rule4) OR ((triple16) -> rule4))]
("bear" "needs" "dog" "+")
((triple12) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
((triple16) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear does not need the dog.
False
2
inv-proof
[(((triple12) -> rule4) OR ((triple16) -> rule4))]
("bear" "needs" "dog" "-")
((triple12) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
((triple16) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the bald eagle.
True
3
proof
[(((((triple12) -> rule4)) -> rule6) OR ((((triple16) -> rule4)) -> rule6))]
("bear" "needs" "bald eagle" "+")
((((triple12) -> (rule4 % int2))) -> (rule6 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
((((triple16) -> (rule4 % int2))) -> (rule6 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The bear does not need the bald eagle.
False
3
inv-proof
[(((((triple12) -> rule4)) -> rule6) OR ((((triple16) -> rule4)) -> rule6))]
("bear" "needs" "bald eagle" "-")
((((triple12) -> (rule4 % int2))) -> (rule6 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
((((triple16) -> (rule4 % int2))) -> (rule6 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The bear likes the dog.
True
5
proof
[(((((((triple12) -> rule4)) -> rule6) triple4) -> rule9) OR ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9))]
("bear" "likes" "dog" "+")
((((((triple12) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule9 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
((((((triple16) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule9 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The bear does not like the dog.
False
5
inv-proof
[(((((((triple12) -> rule4)) -> rule6) triple4) -> rule9) OR ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9))]
("bear" "likes" "dog" "-")
((((((triple12) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule9 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
((((((triple16) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule9 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The dog is red.
True
7
proof
[(((triple4 ((((((triple12) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1) OR ((triple4 ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1))]
("dog" "is" "red" "+")
((triple4 ((((((triple12) -> (rule4 % int4))) -> (rule6 % int3)) triple4) -> (rule9 % int2))) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
((triple4 ((((((triple16) -> (rule4 % int4))) -> (rule6 % int3)) triple4) -> (rule9 % int2))) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The dog is not red.
False
7
inv-proof
[(((triple4 ((((((triple12) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1) OR ((triple4 ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1))]
("dog" "is" "red" "-")
((triple4 ((((((triple12) -> (rule4 % int4))) -> (rule6 % int3)) triple4) -> (rule9 % int2))) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
((triple4 ((((((triple16) -> (rule4 % int4))) -> (rule6 % int3)) triple4) -> (rule9 % int2))) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The dog likes the bald eagle.
True
8
proof
[(((((triple4 ((((((triple12) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1)) -> rule7))]
("dog" "likes" "bald eagle" "+")
((((triple4 ((((((triple12) -> (rule4 % int5))) -> (rule6 % int4)) triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear needs the dog.
("bear" "needs" "dog" "+")
int5
((((triple4 ((((((triple16) -> (rule4 % int5))) -> (rule6 % int4)) triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear needs the dog.
("bear" "needs" "dog" "+")
int5
The dog does not like the bald eagle.
False
8
inv-proof
[(((((triple4 ((((((triple12) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1)) -> rule7))]
("dog" "likes" "bald eagle" "-")
((((triple4 ((((((triple12) -> (rule4 % int5))) -> (rule6 % int4)) triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear needs the dog.
("bear" "needs" "dog" "+")
int5
((((triple4 ((((((triple16) -> (rule4 % int5))) -> (rule6 % int4)) triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear needs the dog.
("bear" "needs" "dog" "+")
int5
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog needs the dog.
Unknown
rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "+")
The cow does not like the dog.
Unknown
inv-rconc
[@1: The cow likes the dog.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cow" "likes" "dog" "-")
The cow needs the cow.
Unknown
rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "cow" "+")
The bald eagle does not need the dog.
Unknown
inv-rconc
[@1: The bald eagle needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "dog" "-")
The bald eagle likes the dog.
Unknown
rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "likes" "dog" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The dog needs the bear.
Unknown
random
[@0: The dog needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bear" "+")
The bald eagle does not like the bear.
Unknown
inv-random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "-")
The bald eagle chases the dog.
Unknown
random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The dog chases the cow.
Unknown
random
[@0: The dog chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear chases the dog.[(triple3)] The bear is green.[(triple4)] The bear is rough.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the cow.[(triple7)] The bear needs the cow.[(triple8 OR ((triple4 triple5) -> rule3))] The cow chases the bald eagle.[(triple9)] The cow chases the dog.[(triple10)] The cow is nice.[(triple11)] The cow likes the bear.[(triple12)] The cow needs the bald eagle.[(triple13 OR ((triple14) -> rule6))] The cow needs the dog.[(triple14)] The dog chases the bald eagle.[(triple15)] The dog likes the bear.[(triple16)] @1: The bald eagle needs the cow.[(((triple6 triple5) -> rule5))] The bear needs the dog.[(((triple12) -> rule4) OR ((triple16) -> rule4))] @2: The bear needs the bald eagle.[(((((triple12) -> rule4)) -> rule6) OR ((((triple16) -> rule4)) -> rule6))] @3: The bear likes the dog.[(((((((triple12) -> rule4)) -> rule6) triple4) -> rule9) OR ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9))] @4: The dog is red.[(((triple4 ((((((triple12) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1) OR ((triple4 ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1))] @5: The dog likes the bald eagle.[(((((triple4 ((((((triple12) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple16) -> rule4)) -> rule6) triple4) -> rule9)) -> rule1)) -> rule7))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The bear chases the dog.
("bear" "chases" "dog" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear likes the cow.
("bear" "likes" "cow" "+")
triple7
The bear needs the cow.
("bear" "needs" "cow" "+")
triple8
((triple4 triple5) -> (rule3 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple9
The cow chases the dog.
("cow" "chases" "dog" "+")
triple10
The cow is nice.
("cow" "is" "nice" "+")
triple11
The cow likes the bear.
("cow" "likes" "bear" "+")
triple12
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple13
((triple14) -> (rule6 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple14
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple15
The dog likes the bear.
("dog" "likes" "bear" "+")
triple16
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple6 triple5) -> (rule5 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple12) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
((triple16) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((((triple12) -> (rule4 % int2))) -> (rule6 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
((((triple16) -> (rule4 % int2))) -> (rule6 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
((((((triple12) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule9 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
((((((triple16) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule9 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The dog is red.
("dog" "is" "red" "+")
((triple4 ((((((triple12) -> (rule4 % int4))) -> (rule6 % int3)) triple4) -> (rule9 % int2))) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
((triple4 ((((((triple16) -> (rule4 % int4))) -> (rule6 % int3)) triple4) -> (rule9 % int2))) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((((triple4 ((((((triple12) -> (rule4 % int5))) -> (rule6 % int4)) triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear needs the dog.
("bear" "needs" "dog" "+")
int5
((((triple4 ((((((triple16) -> (rule4 % int5))) -> (rule6 % int4)) triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear needs the dog.
("bear" "needs" "dog" "+")
int5