The dog is cold. The dog is green. The dog is kind. All big, kind things are cold. If the dog is red then the dog is cold. If the dog is big then the dog is cold. If something is kind and red then it is not big. If something is kind then it is not big. If the dog is big and the dog is cold then the dog is kind. If the dog is big and the dog is cold then the dog is red. If the dog is red and the dog is kind then the dog is big.
The dog is kind.
@0: The dog is cold.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] @1: The dog is not big.[(((triple3) -> rule5))]