The squirrel is cold. The squirrel is green. The squirrel is not nice. The squirrel is not red. The squirrel is young. If the squirrel is nice and the squirrel is not cold then the squirrel is green. If someone is nice then they are green. All nice, red people are green. If someone is red then they are nice. If the squirrel is nice and the squirrel is not cold then the squirrel is not red. If someone is green then they are young.
The squirrel is not young.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is not nice.[(triple3)] The squirrel is not red.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule6))]