The squirrel is big. The squirrel is blue. The squirrel is kind. If the squirrel is blue then the squirrel is kind. If the squirrel is blue and the squirrel is cold then the squirrel is not kind. All cold people are blue. If someone is kind and green then they are blue. If the squirrel is kind and the squirrel is green then the squirrel is cold. If someone is cold and kind then they are green. All cold people are not big. If someone is cold and not kind then they are big.
The squirrel is big.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is kind.[(triple3 OR ((triple2) -> rule1))]