The cat chases the tiger. The cat is nice. The cat needs the dog. The cat visits the tiger. The dog visits the rabbit. The rabbit is red. The rabbit needs the tiger. The rabbit visits the dog. The tiger is cold. The tiger is red. The tiger needs the cat. The tiger visits the dog. Kind things are cold. If something is kind then it needs the tiger. If something visits the tiger and it chases the dog then it visits the rabbit. If something is red and cold then it visits the rabbit. If something visits the dog then it is cold. If something needs the cat then it visits the rabbit.
The rabbit needs the rabbit.
@0: The cat chases the tiger.[(triple1)] The cat is nice.[(triple2)] The cat needs the dog.[(triple3)] The cat visits the tiger.[(triple4)] The dog visits the rabbit.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the tiger.[(triple7)] The rabbit visits the dog.[(triple8)] The tiger is cold.[(triple9 OR ((triple12) -> rule5))] The tiger is red.[(triple10)] The tiger needs the cat.[(triple11)] The tiger visits the dog.[(triple12)] @1: The rabbit is cold.[(((triple8) -> rule5))] The tiger visits the rabbit.[(((triple11) -> rule6) OR ((triple10 triple9) -> rule4) OR ((triple10 ((triple12) -> rule5)) -> rule4))] @2: The rabbit visits the rabbit.[(((triple6 ((triple8) -> rule5)) -> rule4))]