The dog is big. The dog is green. The dog is kind. The dog is rough. The dog is round. If the dog is rough then the dog is round. Big people are round. All green people are rough.
The dog does not like the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is rough.[(triple4 OR ((triple2) -> rule3))] The dog is round.[(triple5 OR ((triple1) -> rule2) OR ((triple4) -> rule1) OR ((((triple2) -> rule3)) -> rule1))]