The dog is not big. The dog is blue. The dog is green. The dog is kind. The dog is young. If the dog is green then the dog is blue. If the dog is blue then the dog is green. Big, young people are blue. Big, young people are blue. If someone is young and not big then they are kind. Big, green people are not young.
The dog does not chase the dog.
@0: The dog is blue.[(triple2 OR ((triple3) -> rule1))] The dog is green.[(triple3 OR ((triple2) -> rule2))] The dog is kind.[(triple4 OR ((triple5 triple1) -> rule5))] The dog is not big.[(triple1)] The dog is young.[(triple5)]