The dog chases the rabbit. The dog chases the tiger. The dog is not round. The dog visits the rabbit. The rabbit is round. The rabbit visits the dog. The rabbit visits the tiger. The tiger is round. The tiger needs the rabbit. The tiger visits the rabbit. If someone chases the rabbit then they visit the dog. If someone visits the dog and the dog visits the rabbit then the rabbit chases the dog. If someone needs the tiger then the tiger chases the dog. If the tiger is round then the tiger does not chase the rabbit. If someone is round and green then they visit the rabbit. If someone chases the dog then they are green.
The tiger is not cold.
@0: The dog chases the rabbit.[(triple1)] The dog chases the tiger.[(triple2)] The dog is not round.[(triple3)] The dog visits the rabbit.[(triple4)] The rabbit is round.[(triple5)] The rabbit visits the dog.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger is round.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The dog visits the dog.[(((triple1) -> rule1))] The rabbit chases the dog.[(((triple6 triple4) -> rule2) OR ((((triple1) -> rule1) triple4) -> rule2))] The tiger does not chase the rabbit.[(((triple8) -> rule4))] @2: The rabbit is green.[(((((triple6 triple4) -> rule2)) -> rule6) OR ((((((triple1) -> rule1) triple4) -> rule2)) -> rule6))] @3: The rabbit visits the rabbit.[(((triple5 ((((triple6 triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple5 ((((((triple1) -> rule1) triple4) -> rule2)) -> rule6)) -> rule5))]