The bald eagle chases the bear. The bald eagle is young. The bald eagle likes the bear. The bear chases the bald eagle. The bear chases the cow. The bear eats the cow. The bear is kind. The bear is red. The bear likes the bald eagle. The cow chases the bear. The cow likes the bald eagle. The squirrel is nice. If someone chases the squirrel then they like the cow. If someone is young then they chase the squirrel. If someone is red and green then they like the bear. If someone is young and they chase the bald eagle then they are green. If someone likes the cow and they like the bear then the bear chases the squirrel. If someone chases the squirrel and they like the cow then they like the squirrel. If someone chases the squirrel and the squirrel is red then the squirrel likes the bald eagle. If someone is kind and they chase the squirrel then they eat the cow. If the bear is green and the bear eats the bald eagle then the bear likes the squirrel.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone chases the squirrel then they like the cow.
((("someone" "chases" "squirrel" "+")) -> ("someone" "likes" "cow" "+"))
If someone is young then they chase the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is red and green then they like the bear.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "bear" "+"))
If someone is young and they chase the bald eagle then they are green.
((("someone" "is" "young" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone likes the cow and they like the bear then the bear chases the squirrel.
((("someone" "likes" "cow" "+") ("someone" "likes" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If someone chases the squirrel and they like the cow then they like the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "likes" "cow" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone chases the squirrel and the squirrel is red then the squirrel likes the bald eagle.
((("someone" "chases" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If someone is kind and they chase the squirrel then they eat the cow.
((("someone" "is" "kind" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "eats" "cow" "+"))
If the bear is green and the bear eats the bald eagle then the bear likes the squirrel.
((("bear" "is" "green" "+") ("bear" "eats" "bald eagle" "+")) -> ("bear" "likes" "squirrel" "+"))
The cow likes the bald eagle.
True
1
proof
[(triple11)]
("cow" "likes" "bald eagle" "+")
triple11
The squirrel is not nice.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "nice" "-")
triple12
The bald eagle chases the squirrel.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "chases" "squirrel" "+")
((triple2) -> (rule2 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle does not chase the squirrel.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "chases" "squirrel" "-")
((triple2) -> (rule2 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle likes the cow.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("bald eagle" "likes" "cow" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle does not like the cow.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("bald eagle" "likes" "cow" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle likes the squirrel.
True
6
proof
[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule6))]
("bald eagle" "likes" "squirrel" "+")
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bear does not chase the squirrel.
False
5
inv-proof
[(((((((triple2) -> rule2)) -> rule1) triple3) -> rule5))]
("bear" "chases" "squirrel" "-")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bear likes the cow.
True
6
proof
[(((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5)) -> rule1))]
("bear" "likes" "cow" "+")
((((((((triple2) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int3
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int4
The bear does not like the cow.
False
6
inv-proof
[(((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5)) -> rule1))]
("bear" "likes" "cow" "-")
((((((((triple2) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int3
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int4
The bear likes the squirrel.
True
12
proof
[(((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5) ((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5)) -> rule1)) -> rule6))]
("bear" "likes" "squirrel" "+")
((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule5 % int3)) ((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int4
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int5
The bear does not like the squirrel.
False
12
inv-proof
[(((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5) ((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5)) -> rule1)) -> rule6))]
("bear" "likes" "squirrel" "-")
((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule5 % int3)) ((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int4
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int5
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@2: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel eats the cow.
Unknown
rconc
[@1: The squirrel eats the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "eats" "cow" "+")
The bald eagle does not eat the cow.
Unknown
inv-rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow chases the squirrel.
Unknown
rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "squirrel" "+")
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow likes the squirrel.
Unknown
rconc
[@2: The cow likes the squirrel.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("cow" "likes" "squirrel" "+")
The bald eagle does not eat the squirrel.
Unknown
inv-random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The squirrel eats the bear.
Unknown
random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "+")
The bear does not eat the bald eagle.
Unknown
inv-random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
The cow does not eat the squirrel.
Unknown
inv-random
[@0: The cow eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "squirrel" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear chases the cow.[(triple5)] The bear eats the cow.[(triple6 OR ((triple7 ((((((triple2) -> rule2)) -> rule1) triple3) -> rule5)) -> rule8))] The bear is kind.[(triple7)] The bear is red.[(triple8)] The bear likes the bald eagle.[(triple9)] The cow chases the bear.[(triple10)] The cow likes the bald eagle.[(triple11)] The squirrel is nice.[(triple12)] @1: The bald eagle chases the squirrel.[(((triple2) -> rule2))] @2: The bald eagle likes the cow.[(((((triple2) -> rule2)) -> rule1))] @3: The bald eagle likes the squirrel.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule6))] The bear chases the squirrel.[(((((((triple2) -> rule2)) -> rule1) triple3) -> rule5))] @4: The bear likes the cow.[(((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5)) -> rule1))] @5: The bear likes the squirrel.[(((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5) ((((((((triple2) -> rule2)) -> rule1) triple3) -> rule5)) -> rule1)) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear chases the cow.
("bear" "chases" "cow" "+")
triple5
The bear eats the cow.
("bear" "eats" "cow" "+")
triple6
((triple7 ((((((triple2) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int3
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int4
The bear is kind.
("bear" "is" "kind" "+")
triple7
The bear is red.
("bear" "is" "red" "+")
triple8
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple9
The cow chases the bear.
("cow" "chases" "bear" "+")
triple10
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((triple2) -> (rule2 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
((((((((triple2) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int3
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int4
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule5 % int3)) ((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int4
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int5