The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is not young. If someone is red then they are not young. If someone is green and big then they are red.
The squirrel is red.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is not young.[(triple5 OR ((triple4) -> rule1) OR ((((triple2 triple1) -> rule2)) -> rule1))] The squirrel is red.[(triple4 OR ((triple2 triple1) -> rule2))]