The dog is big. The dog is nice. The dog is red. The dog is rough. The dog is young. If someone is rough and not big then they are nice. If someone is nice then they are red.
The dog is red.
@0: The dog is big.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3 OR ((triple2) -> rule2))] The dog is rough.[(triple4)] The dog is young.[(triple5)]