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