The cat is round. The cat does not like the rabbit. The cat needs the rabbit. The rabbit chases the squirrel. The rabbit is cold. The rabbit is round. The rabbit likes the cat. The rabbit likes the squirrel. The squirrel chases the rabbit. The squirrel is not young. If someone is blue then they need the squirrel. If someone chases the squirrel then they are blue. If someone chases the squirrel then the squirrel chases the rabbit. If the squirrel is young then the squirrel is blue. If someone is round then they chase the squirrel. If someone needs the cat and they are round then they do not chase the rabbit. If someone needs the cat then the cat likes the rabbit. If someone is cold then they like the squirrel.
The squirrel is not young.
@0: The cat does not like the rabbit.[(triple2)] The cat is round.[(triple1)] The cat needs the rabbit.[(triple3)] The rabbit chases the squirrel.[(triple4 OR ((triple6) -> rule5))] The rabbit is cold.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the cat.[(triple7)] The rabbit likes the squirrel.[(triple8 OR ((triple5) -> rule8))] The squirrel chases the rabbit.[(triple9 OR ((triple4) -> rule3) OR ((((triple1) -> rule5)) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] The squirrel is not young.[(triple10)] @1: The cat chases the squirrel.[(((triple1) -> rule5))] The rabbit is blue.[(((triple4) -> rule2) OR ((((triple6) -> rule5)) -> rule2))] @2: The cat is blue.[(((((triple1) -> rule5)) -> rule2))] The rabbit needs the squirrel.[(((((triple4) -> rule2)) -> rule1) OR ((((((triple6) -> rule5)) -> rule2)) -> rule1))] @3: The cat needs the squirrel.[(((((((triple1) -> rule5)) -> rule2)) -> rule1))]