The dog is big. The dog is cold. The dog is nice. The dog is round. The dog is young. If someone is young then they are round. All young people are big.
The dog does not visit the dog.
@0: The dog is big.[(triple1 OR ((triple5) -> rule2))] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog is round.[(triple4 OR ((triple5) -> rule1))] The dog is young.[(triple5)]