The dog is nice. The dog is red. The dog is rough. If the dog is rough and the dog is not blue then the dog is round. All rough things are not round. All rough, round things are nice.
The dog sees the dog.
@0: The dog is nice.[(triple1)] The dog is red.[(triple2)] The dog is rough.[(triple3)] @1: The dog is not round.[(((triple3) -> rule2))]