The rabbit does not chase the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is young. The rabbit does not see the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is big. The squirrel is cold. The squirrel does not see the rabbit. If someone is cold and they chase the rabbit then the rabbit eats the squirrel. If someone chases the rabbit then the rabbit eats the squirrel. If someone is young then they are rough. If the squirrel is not cold then the squirrel chases the rabbit. If someone chases the squirrel then they eat the rabbit. If someone sees the squirrel then the squirrel eats the rabbit. If the rabbit does not eat the squirrel and the rabbit is not young then the rabbit does not see the squirrel. If someone eats the squirrel and the squirrel eats the rabbit then the squirrel does not see the rabbit.
The rabbit does not eat the rabbit.
@0: The rabbit does not chase the squirrel.[(triple1)] The rabbit does not see the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple2 OR ((triple6) -> rule2) OR ((triple9 triple6) -> rule1))] The rabbit is big.[(triple3)] The rabbit is young.[(triple4)] The squirrel chases the rabbit.[(triple6)] The squirrel does not see the rabbit.[(triple10 OR ((triple2 triple7) -> rule8) OR ((((triple6) -> rule2) triple7) -> rule8) OR ((((triple9 triple6) -> rule1) triple7) -> rule8))] The squirrel eats the rabbit.[(triple7)] The squirrel is big.[(triple8)] The squirrel is cold.[(triple9)] @1: The rabbit is rough.[(((triple4) -> rule3))]