The bald eagle chases the cow. The bald eagle is red. The bald eagle sees the squirrel. The cow chases the rabbit. The cow eats the rabbit. The cow is red. The rabbit chases the cow. The rabbit eats the bald eagle. The rabbit is nice. The rabbit is rough. The squirrel eats the cow. The squirrel eats the rabbit. The squirrel is nice. The squirrel sees the rabbit. If something chases the squirrel then the squirrel chases the cow. If something chases the squirrel and it eats the squirrel then the squirrel chases the cow. If something eats the rabbit and it is rough then it is round. If something chases the rabbit then the rabbit is kind. If something is kind then it chases the squirrel. If something chases the cow then it is kind. If something eats the rabbit and it does not chase the rabbit then it is nice.
The rabbit is not round.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The cow chases the rabbit.[(triple4)] The cow eats the rabbit.[(triple5)] The cow is red.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is rough.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel eats the rabbit.[(triple12)] The squirrel is nice.[(triple13)] The squirrel sees the rabbit.[(triple14)] @1: The bald eagle is kind.[(((triple1) -> rule6))] The rabbit is kind.[(((triple4) -> rule4) OR ((triple7) -> rule6))] @2: The bald eagle chases the squirrel.[(((((triple1) -> rule6)) -> rule5))] The rabbit chases the squirrel.[(((((triple4) -> rule4)) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] @3: The squirrel chases the cow.[(((((((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5)) -> rule1) OR ((((((triple7) -> rule6)) -> rule5)) -> rule1))] @4: The squirrel is kind.[(((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple7) -> rule6)) -> rule5)) -> rule1)) -> rule6))] @5: The squirrel chases the squirrel.[(((((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule6)) -> rule5) OR ((((((((((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule6)) -> rule5) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule1)) -> rule6)) -> rule5))]