The bald eagle chases the cow. The bald eagle chases the tiger. The bald eagle needs the squirrel. The bald eagle needs the tiger. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow is red. The squirrel chases the cow. The squirrel chases the tiger. The squirrel is kind. The squirrel needs the cow. The squirrel sees the cow. The tiger is nice. The tiger needs the cow. The tiger needs the squirrel. If someone chases the bald eagle and the bald eagle is cold then they see the squirrel. If someone is kind and they chase the tiger then the tiger sees the cow. If someone needs the tiger then the tiger chases the cow. If someone needs the bald eagle and the bald eagle needs the cow then they are nice. If the cow needs the tiger then the cow chases the tiger. If someone chases the cow then the cow needs the tiger. If someone is cold and kind then they chase the tiger. If the bald eagle needs the squirrel and the squirrel chases the cow then the squirrel is young.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cow is red.
("cow" "is" "red" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone chases the bald eagle and the bald eagle is cold then they see the squirrel.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone is kind and they chase the tiger then the tiger sees the cow.
((("someone" "is" "kind" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "sees" "cow" "+"))
If someone needs the tiger then the tiger chases the cow.
((("someone" "needs" "tiger" "+")) -> ("tiger" "chases" "cow" "+"))
If someone needs the bald eagle and the bald eagle needs the cow then they are nice.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "needs" "cow" "+")) -> ("someone" "is" "nice" "+"))
If the cow needs the tiger then the cow chases the tiger.
((("cow" "needs" "tiger" "+")) -> ("cow" "chases" "tiger" "+"))
If someone chases the cow then the cow needs the tiger.
((("someone" "chases" "cow" "+")) -> ("cow" "needs" "tiger" "+"))
If someone is cold and kind then they chase the tiger.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "tiger" "+"))
If the bald eagle needs the squirrel and the squirrel chases the cow then the squirrel is young.
((("bald eagle" "needs" "squirrel" "+") ("squirrel" "chases" "cow" "+")) -> ("squirrel" "is" "young" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple4)]
("bald eagle" "needs" "tiger" "+")
triple4
The squirrel does not chase the cow.
False
1
inv-proof
[(triple8)]
("squirrel" "chases" "cow" "-")
triple8
The squirrel is young.
True
3
proof
[(((triple3 triple8) -> rule8))]
("squirrel" "is" "young" "+")
((triple3 triple8) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The cow does not need the tiger.
False
2
inv-proof
[(((triple1) -> rule6) OR ((triple8) -> rule6) OR ((((triple4) -> rule3)) -> rule6))]
("cow" "needs" "tiger" "-")
((triple1) -> (rule6 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
((triple8) -> (rule6 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int2
The cow chases the tiger.
True
3
proof
[(((((triple1) -> rule6)) -> rule5) OR ((((triple8) -> rule6)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6)) -> rule5))]
("cow" "chases" "tiger" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int3
The cow does not chase the tiger.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule5) OR ((((triple8) -> rule6)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6)) -> rule5))]
("cow" "chases" "tiger" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int3
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "nice" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The cow does not see the squirrel.
Unknown
inv-rconc
[@1: The cow sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "squirrel" "-")
The bald eagle needs the cow.
Unknown
random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "+")
The cow does not see the tiger.
Unknown
inv-random
[@0: The cow sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "tiger" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle sees the squirrel.[(triple6)] The cow is red.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel is kind.[(triple10)] The squirrel needs the cow.[(triple11)] The squirrel sees the cow.[(triple12)] The tiger is nice.[(triple13)] The tiger needs the cow.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The cow needs the tiger.[(((triple1) -> rule6) OR ((triple8) -> rule6) OR ((((triple4) -> rule3)) -> rule6))] The squirrel is young.[(((triple3 triple8) -> rule8))] The tiger chases the cow.[(((triple4) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple8) -> rule6)) -> rule3))] The tiger sees the cow.[(((triple10 triple9) -> rule2))] @2: The cow chases the tiger.[(((((triple1) -> rule6)) -> rule5) OR ((((triple8) -> rule6)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6)) -> rule5))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple8
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple11
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The cow needs the tiger.
("cow" "needs" "tiger" "+")
((triple1) -> (rule6 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
((triple8) -> (rule6 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((triple3 triple8) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
((triple4) -> (rule3 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule3 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The tiger sees the cow.
("tiger" "sees" "cow" "+")
((triple10 triple9) -> (rule2 % int1))
The tiger sees the cow.
("tiger" "sees" "cow" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int3