The bald eagle chases the cow. The bald eagle is rough. The bald eagle needs the cow. The bald eagle visits the cow. The cow chases the bald eagle. The cow is blue. The cow is green. The cow is kind. The cow needs the bald eagle. The cow visits the bald eagle. If someone visits the cow then the cow chases the bald eagle. If someone is green then they need the bald eagle. If someone visits the cow then they need the bald eagle. If someone visits the bald eagle then the bald eagle visits the cow. If someone needs the cow then they visit the bald eagle. If someone is kind then they need the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
If someone visits the cow then the cow chases the bald eagle.
((("someone" "visits" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If someone is green then they need the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the cow then they need the bald eagle.
((("someone" "visits" "cow" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle visits the cow.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "+"))
If someone needs the cow then they visit the bald eagle.
((("someone" "needs" "cow" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is kind then they need the cow.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "cow" "+"))
The cow needs the bald eagle.
True
1
proof
[(triple9 OR ((triple7) -> rule2))]
("cow" "needs" "bald eagle" "+")
triple9
((triple7) -> (rule2 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple5 OR ((triple4) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule1))]
("cow" "chases" "bald eagle" "-")
triple5
((triple4) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
((((((((triple8) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The cow needs the cow.
("cow" "needs" "cow" "+")
int4
The bald eagle visits the bald eagle.
True
2
proof
[(((triple3) -> rule5))]
("bald eagle" "visits" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple3) -> rule5))]
("bald eagle" "visits" "bald eagle" "-")
((triple3) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle visits the cow.[(triple4 OR ((triple10) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple8) -> rule6)) -> rule5)) -> rule4))] The cow chases the bald eagle.[(triple5 OR ((triple4) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule1))] The cow is blue.[(triple6)] The cow is green.[(triple7)] The cow is kind.[(triple8)] The cow needs the bald eagle.[(triple9 OR ((triple7) -> rule2))] The cow visits the bald eagle.[(triple10 OR ((((triple8) -> rule6)) -> rule5))] @1: The bald eagle needs the bald eagle.[(((triple4) -> rule3) OR ((((triple10) -> rule4)) -> rule3) OR ((((((triple3) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule3))] The bald eagle visits the bald eagle.[(((triple3) -> rule5))] The cow needs the cow.[(((triple8) -> rule6))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
((triple10) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
((triple4) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
((((((((triple8) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The cow needs the cow.
("cow" "needs" "cow" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is green.
("cow" "is" "green" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple9
((triple7) -> (rule2 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple10
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
((((((((triple8) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The cow needs the cow.
("cow" "needs" "cow" "+")
int4
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple8) -> (rule6 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1