The dog chases the rabbit. The dog sees the rabbit. The rabbit chases the tiger. The rabbit is big. The rabbit is nice. The rabbit is round. The rabbit sees the tiger. The rabbit visits the tiger. The tiger chases the dog. The tiger chases the rabbit. The tiger is big. The tiger is cold. The tiger sees the dog. The tiger visits the dog. The tiger visits the rabbit. All kind, nice people are cold. If someone chases the rabbit and they see the tiger then the rabbit is round. If someone sees the rabbit then they are big. If someone chases the dog and they are big then they visit the tiger. If someone is cold and they see the dog then the dog is nice. If someone visits the rabbit and they chase the dog then the dog sees the tiger.
The tiger does not chase the dog.
@0: The dog chases the rabbit.[(triple1)] The dog sees the rabbit.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit is big.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is round.[(triple6 OR ((triple1 ((triple15 triple9) -> rule6)) -> rule2))] The rabbit sees the tiger.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger chases the dog.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger sees the dog.[(triple13)] The tiger visits the dog.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The dog is big.[(((triple2) -> rule3))] The dog is nice.[(((triple12 triple13) -> rule5))] The dog sees the tiger.[(((triple15 triple9) -> rule6))] The tiger visits the tiger.[(((triple9 triple11) -> rule4))]