The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is nice. All nice, kind things are blue.
The squirrel does not visit the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2 OR ((triple5 triple4) -> rule1))] The squirrel is cold.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is nice.[(triple5)]