The bald eagle eats the rabbit. The bald eagle eats the squirrel. The bald eagle likes the cow. The cow likes the rabbit. The rabbit is kind. The rabbit needs the bald eagle. The squirrel needs the rabbit. If someone needs the rabbit then the rabbit likes the bald eagle. If someone likes the rabbit then the rabbit eats the squirrel. If someone is red then they like the cow. If someone needs the squirrel then the squirrel is red. If someone likes the bald eagle and they are rough then the bald eagle likes the rabbit. If someone is kind and they like the bald eagle then they are young. If someone likes the bald eagle and they are young then the bald eagle needs the squirrel.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone needs the rabbit then the rabbit likes the bald eagle.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone likes the rabbit then the rabbit eats the squirrel.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If someone is red then they like the cow.
((("someone" "is" "red" "+")) -> ("someone" "likes" "cow" "+"))
If someone needs the squirrel then the squirrel is red.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If someone likes the bald eagle and they are rough then the bald eagle likes the rabbit.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "rough" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone is kind and they like the bald eagle then they are young.
((("someone" "is" "kind" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If someone likes the bald eagle and they are young then the bald eagle needs the squirrel.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "young" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple3)]
("bald eagle" "likes" "cow" "+")
triple3
The squirrel does not need the rabbit.
False
1
inv-proof
[(triple7)]
("squirrel" "needs" "rabbit" "-")
triple7
The rabbit eats the squirrel.
True
2
proof
[(((triple4) -> rule2))]
("rabbit" "eats" "squirrel" "+")
((triple4) -> (rule2 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit does not like the bald eagle.
False
2
inv-proof
[(((triple7) -> rule1))]
("rabbit" "likes" "bald eagle" "-")
((triple7) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit is young.
True
4
proof
[(((triple5 ((triple7) -> rule1)) -> rule6))]
("rabbit" "is" "young" "+")
((triple5 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The rabbit is not young.
False
4
inv-proof
[(((triple5 ((triple7) -> rule1)) -> rule6))]
("rabbit" "is" "young" "-")
((triple5 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
True
7
proof
[(((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7))]
("bald eagle" "needs" "squirrel" "+")
((((triple7) -> (rule1 % int3)) ((triple5 ((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle does not need the squirrel.
False
7
inv-proof
[(((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7))]
("bald eagle" "needs" "squirrel" "-")
((((triple7) -> (rule1 % int3)) ((triple5 ((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The squirrel is red.
True
8
proof
[(((((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7)) -> rule4))]
("squirrel" "is" "red" "+")
((((((triple7) -> (rule1 % int4)) ((triple5 ((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The squirrel is not red.
False
8
inv-proof
[(((((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7)) -> rule4))]
("squirrel" "is" "red" "-")
((((((triple7) -> (rule1 % int4)) ((triple5 ((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The squirrel likes the cow.
True
9
proof
[(((((((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
("squirrel" "likes" "cow" "+")
((((((((triple7) -> (rule1 % int5)) ((triple5 ((triple7) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The squirrel does not like the cow.
False
9
inv-proof
[(((((((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
("squirrel" "likes" "cow" "-")
((((((((triple7) -> (rule1 % int5)) ((triple5 ((triple7) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "young" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "cow" "+")
The bald eagle does not like the rabbit.
Unknown
inv-rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "young" "+")
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "young" "-")
The rabbit likes the cow.
Unknown
rconc
[@1: The rabbit likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "cow" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
The squirrel does not eat the rabbit.
Unknown
inv-random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The rabbit eats the cow.
Unknown
random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle likes the cow.[(triple3)] The cow likes the rabbit.[(triple4)] The rabbit is kind.[(triple5)] The rabbit needs the bald eagle.[(triple6)] The squirrel needs the rabbit.[(triple7)] @1: The rabbit eats the squirrel.[(((triple4) -> rule2))] The rabbit likes the bald eagle.[(((triple7) -> rule1))] @2: The rabbit is young.[(((triple5 ((triple7) -> rule1)) -> rule6))] @3: The bald eagle needs the squirrel.[(((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7))] @4: The squirrel is red.[(((((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7)) -> rule4))] @5: The squirrel likes the cow.[(((((((((triple7) -> rule1) ((triple5 ((triple7) -> rule1)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple6
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple7
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
((triple4) -> (rule2 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple5 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((((triple7) -> (rule1 % int3)) ((triple5 ((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple7) -> (rule1 % int4)) ((triple5 ((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
((((((((triple7) -> (rule1 % int5)) ((triple5 ((triple7) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5