The dog is big. The dog is cold. The dog is green. The dog is nice. The dog is young. All big, cold things are young. Nice things are big.
The dog visits the dog.
@0: The dog is big.[(triple1 OR ((triple4) -> rule2))] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is young.[(triple5 OR ((triple1 triple2) -> rule1) OR ((((triple4) -> rule2) triple2) -> rule1))]