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 sees the dog.
@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)]