The dog is big. The dog is nice. The dog is rough. The dog is round. The dog is young. Round, big people are rough. If someone is round and rough then they are nice. Rough people are big.
The dog eats the dog.
@0: The dog is big.[(triple1 OR ((triple3) -> rule3))] The dog is nice.[(triple2 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple4 triple1) -> rule1)) -> rule2))] The dog is rough.[(triple3 OR ((triple4 triple1) -> rule1))] The dog is round.[(triple4)] The dog is young.[(triple5)]