The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel is young. If someone is nice and not round then they are not green. If someone is green and not young then they are nice. If the squirrel is green and the squirrel is young then the squirrel is nice.
The squirrel is nice.
@0: The squirrel is blue.[(triple1)] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3 OR ((triple2 triple5) -> rule3))] The squirrel is round.[(triple4)] The squirrel is young.[(triple5)]