The bald eagle chases the rabbit. The bald eagle likes the cow. The bear chases the rabbit. The bear is green. The cow chases the bald eagle. The cow chases the rabbit. The cow is kind. The cow likes the bald eagle. The rabbit chases the bear. The rabbit likes the bear. The rabbit needs the bear. If someone likes the cow and they are green then the cow chases the bald eagle. If someone likes the bald eagle then they are young. If someone chases the bear then they are kind. If someone likes the bear then they like the rabbit. If someone needs the rabbit then the rabbit likes the bald eagle. If someone is young then they need the bald eagle. If someone is nice then they chase the bald eagle. If the cow needs the bald eagle then the bald eagle needs the rabbit. If someone is nice and young then they need the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If someone likes the cow and they are green then the cow chases the bald eagle.
((("someone" "likes" "cow" "+") ("someone" "is" "green" "+")) -> ("cow" "chases" "bald eagle" "+"))
If someone likes the bald eagle then they are young.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If someone chases the bear then they are kind.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "kind" "+"))
If someone likes the bear then they like the rabbit.
((("someone" "likes" "bear" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone needs the rabbit then the rabbit likes the bald eagle.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone is young then they need the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is nice then they chase the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the cow needs the bald eagle then the bald eagle needs the rabbit.
((("cow" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "rabbit" "+"))
If someone is nice and young then they need the bald eagle.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "needs" "bald eagle" "+"))
The cow chases the rabbit.
True
1
proof
[(triple6)]
("cow" "chases" "rabbit" "+")
triple6
The cow is not kind.
False
1
inv-proof
[(triple7)]
("cow" "is" "kind" "-")
triple7
The cow is young.
True
2
proof
[(((triple8) -> rule2))]
("cow" "is" "young" "+")
((triple8) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple8) -> rule2))]
("cow" "is" "young" "-")
((triple8) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow needs the bald eagle.
True
3
proof
[(((((triple8) -> rule2)) -> rule6))]
("cow" "needs" "bald eagle" "+")
((((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow does not need the bald eagle.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule6))]
("cow" "needs" "bald eagle" "-")
((((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The bald eagle needs the rabbit.
True
4
proof
[(((((((triple8) -> rule2)) -> rule6)) -> rule8))]
("bald eagle" "needs" "rabbit" "+")
((((((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The bald eagle does not need the rabbit.
False
4
inv-proof
[(((((((triple8) -> rule2)) -> rule6)) -> rule8))]
("bald eagle" "needs" "rabbit" "-")
((((((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The rabbit likes the bald eagle.
True
5
proof
[(((((((((triple8) -> rule2)) -> rule6)) -> rule8)) -> rule5))]
("rabbit" "likes" "bald eagle" "+")
((((((((triple8) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
The rabbit does not like the bald eagle.
False
5
inv-proof
[(((((((((triple8) -> rule2)) -> rule6)) -> rule8)) -> rule5))]
("rabbit" "likes" "bald eagle" "-")
((((((((triple8) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
The rabbit is young.
True
6
proof
[(((((((((((triple8) -> rule2)) -> rule6)) -> rule8)) -> rule5)) -> rule2))]
("rabbit" "is" "young" "+")
((((((((((triple8) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % 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 rabbit.
("bald eagle" "needs" "rabbit" "+")
int3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int4
The cow is young.
("cow" "is" "young" "+")
int5
The rabbit is not young.
False
6
inv-proof
[(((((((((((triple8) -> rule2)) -> rule6)) -> rule8)) -> rule5)) -> rule2))]
("rabbit" "is" "young" "-")
((((((((((triple8) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % 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 rabbit.
("bald eagle" "needs" "rabbit" "+")
int3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int4
The cow is young.
("cow" "is" "young" "+")
int5
The bald eagle does not like the rabbit.
Unknown
inv-rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The rabbit chases the bald eagle.
Unknown
rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "bald eagle" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear likes the rabbit.
Unknown
rconc
[@1: The bear likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "rabbit" "+")
The bear is not kind.
Unknown
inv-rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "kind" "-")
The bald eagle needs the bald eagle.
Unknown
rconc
[@2: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle needs the bear.
Unknown
random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "+")
The rabbit does not chase the cow.
Unknown
inv-random
[@0: The rabbit chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cow" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle likes the cow.[(triple2)] The bear chases the rabbit.[(triple3)] The bear is green.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow chases the rabbit.[(triple6)] The cow is kind.[(triple7)] The cow likes the bald eagle.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit needs the bear.[(triple11)] @1: The cow is young.[(((triple8) -> rule2))] The rabbit is kind.[(((triple9) -> rule3))] The rabbit likes the rabbit.[(((triple10) -> rule4))] @2: The cow needs the bald eagle.[(((((triple8) -> rule2)) -> rule6))] @3: The bald eagle needs the rabbit.[(((((((triple8) -> rule2)) -> rule6)) -> rule8))] @4: The rabbit likes the bald eagle.[(((((((((triple8) -> rule2)) -> rule6)) -> rule8)) -> rule5))] @5: The rabbit is young.[(((((((((((triple8) -> rule2)) -> rule6)) -> rule8)) -> rule5)) -> rule2))] @6: The rabbit needs the bald eagle.[(((((((((((((triple8) -> rule2)) -> rule6)) -> rule8)) -> rule5)) -> rule2)) -> rule6))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple8
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple11
The cow is young.
("cow" "is" "young" "+")
((triple8) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple9) -> (rule3 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple10) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
((((((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((((((((triple8) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
The rabbit is young.
("rabbit" "is" "young" "+")
((((((((((triple8) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % 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 rabbit.
("bald eagle" "needs" "rabbit" "+")
int3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int4
The cow is young.
("cow" "is" "young" "+")
int5
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((((((((((((triple8) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int4
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int5
The cow is young.
("cow" "is" "young" "+")
int6