The dog is big. The dog is blue. The dog is nice. The dog is red. The dog is young. All nice things are blue. All nice, blue things are red.
The dog does not eat the dog.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple3) -> rule1))] The dog is nice.[(triple3)] The dog is red.[(triple4 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple3) -> rule1)) -> rule2))] The dog is young.[(triple5)]