The dog is big. The dog is green. The dog is nice. The dog is rough. The dog is round. If someone is big and rough then they are green. If the dog is green and the dog is round then the dog is nice.
The dog likes the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2 OR ((triple1 triple4) -> rule1))] The dog is nice.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((triple1 triple4) -> rule1) triple5) -> rule2))] The dog is rough.[(triple4)] The dog is round.[(triple5)]