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