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