The bald eagle is kind. The bald eagle likes the cow. The cow is blue. The cow is red. The cow sees the bald eagle. The cow sees the squirrel. The squirrel is red. The squirrel likes the cow. The squirrel sees the bald eagle. The squirrel sees the cow. If someone chases the squirrel then they chase the bald eagle. If someone likes the cow and the cow is kind then the cow chases the squirrel. If someone chases the squirrel and the squirrel chases the cow then the cow sees the squirrel. If someone is red then they chase the cow. If someone is young then they like the cow. If the squirrel likes the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the cow. If someone likes the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the squirrel. If someone chases the cow then the cow is young.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone chases the squirrel then they chase the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone likes the cow and the cow is kind then the cow chases the squirrel.
((("someone" "likes" "cow" "+") ("cow" "is" "kind" "+")) -> ("cow" "chases" "squirrel" "+"))
If someone chases the squirrel and the squirrel chases the cow then the cow sees the squirrel.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "cow" "+")) -> ("cow" "sees" "squirrel" "+"))
If someone is red then they chase the cow.
((("someone" "is" "red" "+")) -> ("someone" "chases" "cow" "+"))
If someone is young then they like the cow.
((("someone" "is" "young" "+")) -> ("someone" "likes" "cow" "+"))
If the squirrel likes the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the cow.
((("squirrel" "likes" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("bald eagle" "chases" "cow" "+"))
If someone likes the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the squirrel.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone chases the cow then the cow is young.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "young" "+"))
The squirrel sees the bald eagle.
True
1
proof
[(triple9)]
("squirrel" "sees" "bald eagle" "+")
triple9
The cow does not see the squirrel.
False
1
inv-proof
[(triple6)]
("cow" "sees" "squirrel" "-")
triple6
The cow chases the cow.
True
2
proof
[(((triple4) -> rule4))]
("cow" "chases" "cow" "+")
((triple4) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple4) -> rule4))]
("cow" "chases" "cow" "-")
((triple4) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is young.
True
3
proof
[(((((triple4) -> rule4)) -> rule8) OR ((((triple7) -> rule4)) -> rule8))]
("cow" "is" "young" "+")
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow is not young.
False
3
inv-proof
[(((((triple4) -> rule4)) -> rule8) OR ((((triple7) -> rule4)) -> rule8))]
("cow" "is" "young" "-")
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow likes the cow.
True
4
proof
[(((((((triple4) -> rule4)) -> rule8)) -> rule5) OR ((((((triple7) -> rule4)) -> rule8)) -> rule5))]
("cow" "likes" "cow" "+")
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow does not like the cow.
False
4
inv-proof
[(((((((triple4) -> rule4)) -> rule8)) -> rule5) OR ((((((triple7) -> rule4)) -> rule8)) -> rule5))]
("cow" "likes" "cow" "-")
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow does not chase the squirrel.
Unknown
inv-rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "squirrel" "-")
The bald eagle chases the cow.
Unknown
rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cow chases the bald eagle.
Unknown
rconc
[@2: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow sees the bald eagle.[(triple5)] The cow sees the squirrel.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the cow.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow chases the cow.[(((triple4) -> rule4))] The squirrel chases the cow.[(((triple7) -> rule4))] @2: The cow is young.[(((((triple4) -> rule4)) -> rule8) OR ((((triple7) -> rule4)) -> rule8))] @3: The cow likes the cow.[(((((((triple4) -> rule4)) -> rule8)) -> rule5) OR ((((((triple7) -> rule4)) -> rule8)) -> rule5))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple5
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple4) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple7) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3