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