The rabbit chases the squirrel. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is young. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel is blue. The squirrel is kind. The squirrel likes the rabbit. The squirrel needs the rabbit. If someone chases the squirrel and the squirrel chases the rabbit then the rabbit is kind. If the rabbit chases the squirrel and the rabbit needs the squirrel then the squirrel likes the rabbit. If someone is cold and young then they need the squirrel. If someone is cold then they need the squirrel. If someone needs the rabbit then the rabbit chases the squirrel. If someone likes the rabbit then the rabbit needs the squirrel. If someone is blue then they like the squirrel. If the squirrel is rough and the squirrel is cold then the squirrel likes the rabbit.
The rabbit does not like the squirrel.
@0: The rabbit chases the squirrel.[(triple1 OR ((triple12) -> rule5))] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is kind.[(triple4 OR ((triple1 triple8) -> rule1) OR ((((triple12) -> rule5) triple8) -> rule1))] The rabbit is young.[(triple5)] The rabbit likes the squirrel.[(triple6 OR ((triple2) -> rule7))] The rabbit needs the squirrel.[(triple7 OR ((triple11) -> rule6) OR ((triple3) -> rule4) OR ((triple3 triple5) -> rule3))] The squirrel chases the rabbit.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is kind.[(triple10)] The squirrel likes the rabbit.[(triple11 OR ((triple1 triple7) -> rule2) OR ((triple1 ((triple3) -> rule4)) -> rule2) OR ((triple1 ((triple3 triple5) -> rule3)) -> rule2) OR ((((triple12) -> rule5) triple7) -> rule2) OR ((((triple12) -> rule5) ((triple3) -> rule4)) -> rule2) OR ((((triple12) -> rule5) ((triple3 triple5) -> rule3)) -> rule2))] The squirrel needs the rabbit.[(triple12)] @1: The squirrel likes the squirrel.[(((triple9) -> rule7))]