The dog is big. The dog is green. The dog is red. The dog is rough. The dog is young. If the dog is rough and the dog is red then the dog is green. If someone is rough and red then they are young. Green people are rough.
The dog does not like the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2 OR ((triple4 triple3) -> rule1))] The dog is red.[(triple3)] The dog is rough.[(triple4 OR ((triple2) -> rule3))] The dog is young.[(triple5 OR ((triple4 triple3) -> rule2) OR ((((triple2) -> rule3) triple3) -> rule2))]