The dog is not big. The dog is nice. The dog is round. If the dog is rough then the dog is nice. Nice, big things are rough. All nice things are not big.
The dog is blue.
@0: The dog is nice.[(triple2)] The dog is not big.[(triple1 OR ((triple2) -> rule3))] The dog is round.[(triple3)]