The dog is cold. The dog is kind. The dog is young. Cold people are kind. If someone is kind and not nice then they are not cold. If someone is nice then they are cold. Kind people are young. If someone is nice then they are not young. Nice people are young. If the dog is nice and the dog is young then the dog is not cold. If someone is young and not cold then they are big.
The dog eats the dog.
@0: The dog is cold.[(triple1)] The dog is kind.[(triple2 OR ((triple1) -> rule1))] The dog is young.[(triple3 OR ((triple2) -> rule4) OR ((((triple1) -> rule1)) -> rule4))]