The dog is big. The dog is blue. The dog is red. The dog is rough. The dog is young. Red, big people are young. If someone is rough then they are young. If the dog is rough then the dog is big.
The dog is red.
@0: The dog is big.[(triple1 OR ((triple4) -> rule3))] The dog is blue.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5 OR ((triple4) -> rule2) OR ((triple3 triple1) -> rule1) OR ((triple3 ((triple4) -> rule3)) -> rule1))]