The cat does not like the rabbit. The rabbit chases the squirrel. The squirrel is kind. If someone is blue then they like the cat. If someone is kind then they like the cat. If someone is kind and not red then they are cold. If someone likes the cat then the cat chases the squirrel. If the squirrel is kind then the squirrel likes the cat. If the cat chases the squirrel then the squirrel likes the rabbit.
The cat chases the squirrel.
@0: The cat does not like the rabbit.[(triple1)] The rabbit chases the squirrel.[(triple2)] The squirrel is kind.[(triple3)] @1: The squirrel likes the cat.[(((triple3) -> rule2) OR ((triple3) -> rule5))] @2: The cat chases the squirrel.[(((((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule5)) -> rule4))] @3: The squirrel likes the rabbit.[(((((((triple3) -> rule2)) -> rule4)) -> rule6) OR ((((((triple3) -> rule5)) -> rule4)) -> rule6))]