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