The dog is big. The dog is green. The dog is kind. The dog is rough. The dog is round. Round, rough people are big. All big people are green.
The dog chases the dog.
@0: The dog is big.[(triple1 OR ((triple5 triple4) -> rule1))] The dog is green.[(triple2 OR ((triple1) -> rule2) OR ((((triple5 triple4) -> rule1)) -> rule2))] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)]