The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is not nice. The squirrel is round. All round, cold people are green. If the squirrel is green and the squirrel is not kind then the squirrel is not nice. Kind, nice people are not cold. Nice, green people are not round. If someone is cold then they are round. All kind, nice people are round.
The squirrel does not visit the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2 OR ((triple5 triple1) -> rule1) OR ((((triple1) -> rule5) triple1) -> rule1))] The squirrel is kind.[(triple3)] The squirrel is not nice.[(triple4)] The squirrel is round.[(triple5 OR ((triple1) -> rule5))]