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