The dog is green. The dog is red. The dog sees the tiger. The dog visits the rabbit. The dog visits the tiger. The rabbit is cold. The rabbit is nice. The rabbit needs the tiger. The rabbit sees the dog. The rabbit visits the dog. The rabbit visits the tiger. The tiger is cold. The tiger is green. The tiger sees the rabbit. The tiger visits the rabbit. If someone is red and round then they need the tiger. Green people are nice. If someone is red then they visit the dog.
The rabbit is round.
@0: The dog is green.[(triple1)] The dog is red.[(triple2)] The dog sees the tiger.[(triple3)] The dog visits the rabbit.[(triple4)] The dog visits the tiger.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is nice.[(triple7)] The rabbit needs the tiger.[(triple8)] The rabbit sees the dog.[(triple9)] The rabbit visits the dog.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger is cold.[(triple12)] The tiger is green.[(triple13)] The tiger sees the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The dog is nice.[(((triple1) -> rule2))] The dog visits the dog.[(((triple2) -> rule3))] The tiger is nice.[(((triple13) -> rule2))]