The dog is red. The dog is young. The dog sees the rabbit. The rabbit likes the tiger. The tiger likes the dog. The tiger sees the dog. The tiger visits the dog. If someone is young then they see the rabbit. If someone is rough then they see the dog. If someone likes the tiger and they are round then the tiger likes the rabbit. If someone visits the dog then they see the tiger. If someone visits the dog and they are not big then they are red. If someone visits the tiger and they visit the dog then the dog does not like the tiger.
The tiger is not red.
@0: The dog is red.[(triple1)] The dog is young.[(triple2)] The dog sees the rabbit.[(triple3 OR ((triple2) -> rule1))] The rabbit likes the tiger.[(triple4)] The tiger likes the dog.[(triple5)] The tiger sees the dog.[(triple6)] The tiger visits the dog.[(triple7)] @1: The tiger sees the tiger.[(((triple7) -> rule4))]