The dog is big. The dog is nice. The dog is rough. If the dog is nice and the dog is big then the dog is blue. Blue, big things are young. If something is blue then it is young.
The dog is rough.
@0: The dog is big.[(triple1)] The dog is nice.[(triple2)] The dog is rough.[(triple3)] @1: The dog is blue.[(((triple2 triple1) -> rule1))] @2: The dog is young.[(((((triple2 triple1) -> rule1)) -> rule3) OR ((((triple2 triple1) -> rule1) triple1) -> rule2))]