The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel is round. All green people are rough. If someone is rough and not green then they are not nice. If someone is rough then they are nice. If the squirrel is green then the squirrel is nice. If the squirrel is green and the squirrel is not round then the squirrel is nice. If someone is rough and not round then they are cold. If the squirrel is round then the squirrel is rough. If the squirrel is green and the squirrel is nice then the squirrel is rough.
The squirrel is green.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3 OR ((triple2) -> rule4) OR ((triple4) -> rule3) OR ((((triple2) -> rule1)) -> rule3) OR ((((triple5) -> rule7)) -> rule3))] The squirrel is rough.[(triple4 OR ((triple2) -> rule1) OR ((triple5) -> rule7) OR ((triple2 triple3) -> rule8) OR ((triple2 ((triple2) -> rule4)) -> rule8))] The squirrel is round.[(triple5)]