The squirrel is big. The squirrel is not blue. The squirrel is kind. The squirrel is round. The squirrel is young. If someone is young and not blue then they are round.
The squirrel does not visit the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is kind.[(triple3)] The squirrel is not blue.[(triple2)] The squirrel is round.[(triple4 OR ((triple5 triple2) -> rule1))] The squirrel is young.[(triple5)]