The dog is big. The dog is nice. The dog is rough. The dog is round. The dog is young. All rough, nice things are big.
The dog is young.
@0: The dog is big.[(triple1 OR ((triple3 triple2) -> rule1))] The dog is nice.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)]