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