The dog is big. The dog is kind. The dog is red. The dog is round. The dog is young. Young people are big.
The dog does not like the dog.
@0: The dog is big.[(triple1 OR ((triple5) -> rule1))] The dog is kind.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)]