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