The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is red. If something is blue and big then it is cold.
The squirrel visits the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3 OR ((triple2 triple1) -> rule1))] The squirrel is kind.[(triple4)] The squirrel is red.[(triple5)]