The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is round. The squirrel is young. Kind, round things are green. Green things are round. All round things are cold. Round things are cold. Young, round things are kind. If the squirrel is kind and the squirrel is green then the squirrel is round.
The squirrel is young.
@0: The squirrel is cold.[(triple1 OR ((triple4) -> rule3) OR ((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule2)) -> rule4) OR ((((triple3 triple2) -> rule6)) -> rule3) OR ((((triple3 triple2) -> rule6)) -> rule4))] The squirrel is green.[(triple2 OR ((triple3 triple4) -> rule1) OR ((((triple5 triple4) -> rule5) triple4) -> rule1))] The squirrel is kind.[(triple3 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple2) -> rule2)) -> rule5))] The squirrel is round.[(triple4 OR ((triple2) -> rule2) OR ((triple3 triple2) -> rule6))] The squirrel is young.[(triple5)]