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