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