The bald eagle chases the cow. The bald eagle is red. The bald eagle needs the squirrel. The cow chases the lion. The cow needs the lion. The lion is round. The lion is young. The squirrel is round. The squirrel is young. The squirrel needs the cow. If someone is big then they need the squirrel. If someone is red and they eat the cow then they chase the squirrel. If someone eats the cow then the cow needs the squirrel. If someone needs the bald eagle and they chase the bald eagle then the bald eagle is green. If the lion eats the cow and the cow is green then the cow needs the lion. If someone is young then they are red. If the cow needs the squirrel then the cow chases the bald eagle. If someone chases the lion then they are big.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If someone is big then they need the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is red and they eat the cow then they chase the squirrel.
((("someone" "is" "red" "+") ("someone" "eats" "cow" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone eats the cow then the cow needs the squirrel.
((("someone" "eats" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If someone needs the bald eagle and they chase the bald eagle then the bald eagle is green.
((("someone" "needs" "bald eagle" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If the lion eats the cow and the cow is green then the cow needs the lion.
((("lion" "eats" "cow" "+") ("cow" "is" "green" "+")) -> ("cow" "needs" "lion" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If the cow needs the squirrel then the cow chases the bald eagle.
((("cow" "needs" "squirrel" "+")) -> ("cow" "chases" "bald eagle" "+"))
If someone chases the lion then they are big.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "big" "+"))
The cow needs the lion.
True
1
proof
[(triple5)]
("cow" "needs" "lion" "+")
triple5
The bald eagle is not red.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "red" "-")
triple2
The squirrel is red.
True
2
proof
[(((triple9) -> rule6))]
("squirrel" "is" "red" "+")
((triple9) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple4) -> rule8))]
("cow" "is" "big" "-")
((triple4) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow needs the squirrel.
True
3
proof
[(((((triple4) -> rule8)) -> rule1))]
("cow" "needs" "squirrel" "+")
((((triple4) -> (rule8 % int2))) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow does not need the squirrel.
False
3
inv-proof
[(((((triple4) -> rule8)) -> rule1))]
("cow" "needs" "squirrel" "-")
((((triple4) -> (rule8 % int2))) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow chases the bald eagle.
True
4
proof
[(((((((triple4) -> rule8)) -> rule1)) -> rule7))]
("cow" "chases" "bald eagle" "+")
((((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow does not chase the bald eagle.
False
4
inv-proof
[(((((((triple4) -> rule8)) -> rule1)) -> rule7))]
("cow" "chases" "bald eagle" "-")
((((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "red" "-")
The lion chases the squirrel.
Unknown
rconc
[@1: The lion chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "big" "+")
The cow does not eat the bald eagle.
Unknown
inv-random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The cow chases the lion.[(triple4)] The cow needs the lion.[(triple5)] The lion is round.[(triple6)] The lion is young.[(triple7)] The squirrel is round.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The cow is big.[(((triple4) -> rule8))] The lion is red.[(((triple7) -> rule6))] The squirrel is red.[(((triple9) -> rule6))] @2: The cow needs the squirrel.[(((((triple4) -> rule8)) -> rule1))] @3: The cow chases the bald eagle.[(((((((triple4) -> rule8)) -> rule1)) -> rule7))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow needs the lion.
("cow" "needs" "lion" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
((triple4) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The lion is red.
("lion" "is" "red" "+")
((triple7) -> (rule6 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple9) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((((triple4) -> (rule8 % int2))) -> (rule1 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3