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 is blue.
@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)]