The dog is big. The dog is blue. The dog is nice. The dog is round. The dog is young. If the dog is nice and the dog is blue then the dog is big. All young people are round. Nice, young people are round.
The dog chases the dog.
@0: The dog is big.[(triple1 OR ((triple3 triple2) -> rule1))] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog is round.[(triple4 OR ((triple5) -> rule2) OR ((triple3 triple5) -> rule3))] The dog is young.[(triple5)]