The dog is green. The dog is nice. The dog is rough. The dog is round. The dog is young. Nice people are young. All nice, young people are round. If someone is young and not round then they are rough.
The dog is young.
@0: The dog is green.[(triple1)] The dog is nice.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple2) -> rule1)) -> rule2))] The dog is young.[(triple5 OR ((triple2) -> rule1))]