The bald eagle chases the cow. The bald eagle is blue. The bald eagle is young. The bald eagle needs the cow. The bald eagle sees the cow. The cow chases the bald eagle. The cow sees the bald eagle. If someone chases the cow then they are big. If someone is big and they need the bald eagle then the bald eagle needs the cow. If someone is young and red then they see the cow. If someone sees the bald eagle and they need the bald eagle then they chase the cow. If someone needs the cow and they need the bald eagle then the bald eagle chases the cow. If someone sees the cow then the cow needs the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If someone chases the cow then they are big.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "big" "+"))
If someone is big and they need the bald eagle then the bald eagle needs the cow.
((("someone" "is" "big" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "+"))
If someone is young and red then they see the cow.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the bald eagle and they need the bald eagle then they chase the cow.
((("someone" "sees" "bald eagle" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the cow and they need the bald eagle then the bald eagle chases the cow.
((("someone" "needs" "cow" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "cow" "+"))
If someone sees the cow then the cow needs the bald eagle.
((("someone" "sees" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is not young.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "young" "-")
triple3
The bald eagle is big.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "is" "big" "+")
((triple1) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "is" "big" "-")
((triple1) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow chases the cow.
True
4
proof
[(((triple7 ((triple5) -> rule6)) -> rule4))]
("cow" "chases" "cow" "+")
((triple7 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow does not chase the cow.
False
4
inv-proof
[(((triple7 ((triple5) -> rule6)) -> rule4))]
("cow" "chases" "cow" "-")
((triple7 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow is big.
True
5
proof
[(((((triple7 ((triple5) -> rule6)) -> rule4)) -> rule1))]
("cow" "is" "big" "+")
((((triple7 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The cow is not big.
False
5
inv-proof
[(((((triple7 ((triple5) -> rule6)) -> rule4)) -> rule1))]
("cow" "is" "big" "-")
((((triple7 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
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 bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the cow.[(triple4 OR ((((((triple7 ((triple5) -> rule6)) -> rule4)) -> rule1) ((triple5) -> rule6)) -> rule2))] The bald eagle sees the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The bald eagle is big.[(((triple1) -> rule1))] The cow needs the bald eagle.[(((triple5) -> rule6))] @2: The cow chases the cow.[(((triple7 ((triple5) -> rule6)) -> rule4))] @3: The cow is big.[(((((triple7 ((triple5) -> rule6)) -> rule4)) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
((((((triple7 ((triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple5) -> (rule6 % int4))) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple1) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple5) -> (rule6 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple7 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow is big.
("cow" "is" "big" "+")
((((triple7 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int3