The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is red. Kind, blue things are red. All nice things are blue.
The squirrel eats the squirrel.
@0: The squirrel is blue.[(triple1 OR ((triple4) -> rule2))] The squirrel is cold.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is red.[(triple5 OR ((triple3 triple1) -> rule1) OR ((triple3 ((triple4) -> rule2)) -> rule1))]