The bald eagle does not chase the cow. The bald eagle is young. The bald eagle likes the bear. The bear is round. The bear does not like the rabbit. The cow chases the bear. The cow chases the rabbit. The cow is not round. The cow likes the bear. The cow needs the bald eagle. The cow needs the rabbit. The rabbit chases the bear. The rabbit is round. The rabbit is young. The rabbit does not like the bald eagle. If the bear likes the cow and the cow is blue then the cow chases the bald eagle. If someone is round then they need the bald eagle. If someone likes the cow then the cow needs the bear. If someone is kind and they need the bear then they like the rabbit. If someone is young and they need the bald eagle then they are blue. If someone is blue then they need the cow. If the cow chases the bald eagle then the cow does not need the bald eagle. If someone chases the rabbit then they chase the cow.
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
If the bear likes the cow and the cow is blue then the cow chases the bald eagle.
((("bear" "likes" "cow" "+") ("cow" "is" "blue" "+")) -> ("cow" "chases" "bald eagle" "+"))
If someone is round then they need the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone likes the cow then the cow needs the bear.
((("someone" "likes" "cow" "+")) -> ("cow" "needs" "bear" "+"))
If someone is kind and they need the bear then they like the rabbit.
((("someone" "is" "kind" "+") ("someone" "needs" "bear" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is young and they need the bald eagle then they are blue.
((("someone" "is" "young" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they need the cow.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "cow" "+"))
If the cow chases the bald eagle then the cow does not need the bald eagle.
((("cow" "chases" "bald eagle" "+")) -> ("cow" "needs" "bald eagle" "-"))
If someone chases the rabbit then they chase the cow.
((("someone" "chases" "rabbit" "+")) -> ("someone" "chases" "cow" "+"))
The cow chases the rabbit.
True
1
proof
[(triple7)]
("cow" "chases" "rabbit" "+")
triple7
The cow does not need the rabbit.
False
1
inv-proof
[(triple11)]
("cow" "needs" "rabbit" "-")
triple11
The cow chases the cow.
True
2
proof
[(((triple7) -> rule8))]
("cow" "chases" "cow" "+")
((triple7) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple7) -> rule8))]
("cow" "chases" "cow" "-")
((triple7) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The rabbit is blue.
True
4
proof
[(((triple14 ((triple13) -> rule2)) -> rule5))]
("rabbit" "is" "blue" "+")
((triple14 ((triple13) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit is not blue.
False
4
inv-proof
[(((triple14 ((triple13) -> rule2)) -> rule5))]
("rabbit" "is" "blue" "-")
((triple14 ((triple13) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit needs the cow.
True
5
proof
[(((((triple14 ((triple13) -> rule2)) -> rule5)) -> rule6))]
("rabbit" "needs" "cow" "+")
((((triple14 ((triple13) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The rabbit does not need the cow.
False
5
inv-proof
[(((((triple14 ((triple13) -> rule2)) -> rule5)) -> rule6))]
("rabbit" "needs" "cow" "-")
((((triple14 ((triple13) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle does not need the cow.
Unknown
inv-rconc
[@3: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule2 <- FAIL)]]
("bald eagle" "needs" "cow" "-")
The bald eagle likes the rabbit.
Unknown
rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "rabbit" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@2: The bald eagle is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "blue" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The bald eagle likes the cow.
Unknown
random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "+")
The bald eagle does not chase the bear.
Unknown
inv-random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear does not like the rabbit.[(triple5)] The bear is round.[(triple4)] The cow chases the bear.[(triple6)] The cow chases the rabbit.[(triple7)] The cow is not round.[(triple8)] The cow likes the bear.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow needs the rabbit.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit does not like the bald eagle.[(triple15)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] @1: The bear needs the bald eagle.[(((triple4) -> rule2))] The cow chases the cow.[(((triple7) -> rule8))] The rabbit needs the bald eagle.[(((triple13) -> rule2))] @2: The rabbit is blue.[(((triple14 ((triple13) -> rule2)) -> rule5))] @3: The rabbit needs the cow.[(((((triple14 ((triple13) -> rule2)) -> rule5)) -> rule6))]
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
triple5
The bear is round.
("bear" "is" "round" "+")
triple4
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple7
The cow is not round.
("cow" "is" "round" "-")
triple8
The cow likes the bear.
("cow" "likes" "bear" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple11
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple12
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple15
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple7) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((triple13) -> (rule2 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple14 ((triple13) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
((((triple14 ((triple13) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3