The squirrel is green. The squirrel is not kind. The squirrel is red. The squirrel is rough. The squirrel is not round. If the squirrel is round then the squirrel is not green. If the squirrel is round and the squirrel is rough then the squirrel is not kind. If the squirrel is round and the squirrel is not rough then the squirrel is kind. If someone is kind then they are red. If someone is kind and green then they are round. Green people are not round.
The squirrel likes the squirrel.
@0: The squirrel is green.[(triple1)] The squirrel is not kind.[(triple2)] The squirrel is not round.[(triple5 OR ((triple1) -> rule6))] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)]