The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is round. If the squirrel is red then the squirrel is nice. Cold people are nice. Cold people are green. If the squirrel is red and the squirrel is green then the squirrel is cold. All nice, red people are cold. If someone is green then they are round.
The squirrel does not eat the squirrel.
@0: The squirrel is cold.[(triple1 OR ((triple3 triple4) -> rule5) OR ((triple4 triple2) -> rule4) OR ((((triple4) -> rule1) triple4) -> rule5))] The squirrel is green.[(triple2 OR ((triple1) -> rule3) OR ((((triple3 triple4) -> rule5)) -> rule3) OR ((((((triple4) -> rule1) triple4) -> rule5)) -> rule3))] The squirrel is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple4) -> rule1) OR ((((triple4 triple2) -> rule4)) -> rule2))] The squirrel is red.[(triple4)] The squirrel is round.[(triple5 OR ((triple2) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((((triple3 triple4) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple4) -> rule1) triple4) -> rule5)) -> rule3)) -> rule6))]