The cat chases the tiger. The cat is cold. The cat is green. The cat needs the tiger. The cat visits the tiger. The mouse is rough. The mouse is young. The mouse needs the cat. The mouse visits the tiger. The tiger chases the cat. The tiger is cold. The tiger is rough. The tiger needs the cat. The tiger needs the mouse. The tiger visits the mouse. If someone is nice then they visit the cat. If someone visits the mouse then they are young. If someone is rough and they chase the tiger then the tiger chases the cat. Green people are young. If the cat chases the tiger and the tiger visits the mouse then the mouse is green. If someone visits the cat then the cat visits the tiger.
The cat does not visit the cat.
@0: The cat chases the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat needs the tiger.[(triple4)] The cat visits the tiger.[(triple5)] The mouse is rough.[(triple6)] The mouse is young.[(triple7 OR ((((triple1 triple15) -> rule5)) -> rule4))] The mouse needs the cat.[(triple8)] The mouse visits the tiger.[(triple9)] The tiger chases the cat.[(triple10)] The tiger is cold.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the cat.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The cat is young.[(((triple3) -> rule4))] The mouse is green.[(((triple1 triple15) -> rule5))] The tiger is young.[(((triple15) -> rule2))]