The bald eagle chases the cow. The bald eagle is young. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow chases the squirrel. The cow visits the squirrel. The squirrel is blue. The squirrel is round. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone chases the bald eagle and the bald eagle sees the squirrel then the squirrel is young. If someone sees the cow and they are blue then they are young. If someone is round then they chase the bald eagle. If someone sees the cow and they visit the bald eagle then the cow visits the squirrel. If the cow visits the squirrel and the squirrel chases the bald eagle then the bald eagle is round. If someone is young then they see the bald eagle. If someone is blue and young then they chase the cow. If someone chases the bald eagle then the bald eagle is green.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone chases the bald eagle and the bald eagle sees the squirrel then the squirrel is young.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone sees the cow and they are blue then they are young.
((("someone" "sees" "cow" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they chase the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone sees the cow and they visit the bald eagle then the cow visits the squirrel.
((("someone" "sees" "cow" "+") ("someone" "visits" "bald eagle" "+")) -> ("cow" "visits" "squirrel" "+"))
If the cow visits the squirrel and the squirrel chases the bald eagle then the bald eagle is round.
((("cow" "visits" "squirrel" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If someone is young then they see the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is blue and young then they chase the cow.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the bald eagle then the bald eagle is green.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is not young.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "young" "-")
triple2
The squirrel chases the bald eagle.
True
2
proof
[(((triple8) -> rule3))]
("squirrel" "chases" "bald eagle" "+")
((triple8) -> (rule3 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "sees" "bald eagle" "-")
((triple2) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The squirrel is young.
True
4
proof
[(((((triple8) -> rule3) triple4) -> rule1) OR ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3) triple4) -> rule1))]
("squirrel" "is" "young" "+")
((((triple8) -> (rule3 % int2)) triple4) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
((((((triple6 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The squirrel is not young.
False
4
inv-proof
[(((((triple8) -> rule3) triple4) -> rule1) OR ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3) triple4) -> rule1))]
("squirrel" "is" "young" "-")
((((triple8) -> (rule3 % int2)) triple4) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
((((((triple6 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "chases" "cow" "-")
The cow chases the bald eagle.
Unknown
rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "young" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cow chases the squirrel.[(triple5)] The cow visits the squirrel.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the bald eagle.[(triple9 OR ((((((triple8) -> rule3) triple4) -> rule1)) -> rule6) OR ((((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3) triple4) -> rule1)) -> rule6))] The squirrel visits the bald eagle.[(triple10)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule6))] The squirrel chases the bald eagle.[(((triple8) -> rule3))] @2: The bald eagle is green.[(((((triple8) -> rule3)) -> rule8) OR ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3)) -> rule8))] The bald eagle is round.[(((triple6 ((triple8) -> rule3)) -> rule5))] The squirrel is young.[(((((triple8) -> rule3) triple4) -> rule1) OR ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3) triple4) -> rule1))] @3: The bald eagle chases the bald eagle.[(((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3))] The squirrel chases the cow.[(((triple7 ((((triple8) -> rule3) triple4) -> rule1)) -> rule7) OR ((triple7 ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3) triple4) -> rule1)) -> rule7))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple5
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
((((((triple8) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((((((((triple6 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple10
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple8) -> (rule3 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((triple8) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
((((((triple6 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple6 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple8) -> (rule3 % int2)) triple4) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
((((((triple6 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple7 ((((triple8) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
((triple7 ((((((triple6 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int5