The dog is big. The dog is cold. The dog is rough. Rough, big things are cold. All red things are big. If something is blue and red then it is rough.
The dog is not big.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2 OR ((triple3 triple1) -> rule1))] The dog is rough.[(triple3)]