The cat chases the mouse. The cat is big. The cat is cold. The cat needs the mouse. The cat needs the tiger. The cat visits the mouse. The cat visits the tiger. The mouse chases the tiger. The mouse needs the tiger. The tiger is cold. The tiger is kind. The tiger needs the cat. The tiger needs the mouse. The tiger visits the cat. The tiger visits the mouse. If something is kind then it visits the mouse. If something visits the cat and it chases the mouse then the cat needs the mouse. If the tiger visits the mouse then the mouse is round. If something is big and it needs the tiger then the tiger visits the cat. If something is cold then it visits the cat. If something needs the tiger then the tiger needs the mouse.
The mouse does not visit the mouse.
@0: The cat chases the mouse.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat needs the mouse.[(triple4 OR ((((triple3) -> rule5) triple1) -> rule2))] The cat needs the tiger.[(triple5)] The cat visits the mouse.[(triple6)] The cat visits the tiger.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse needs the tiger.[(triple9)] The tiger is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger needs the cat.[(triple12)] The tiger needs the mouse.[(triple13 OR ((triple5) -> rule6) OR ((triple9) -> rule6))] The tiger visits the cat.[(triple14 OR ((triple10) -> rule5) OR ((triple2 triple5) -> rule4))] The tiger visits the mouse.[(triple15 OR ((triple11) -> rule1))] @1: The cat visits the cat.[(((triple3) -> rule5))] The mouse is round.[(((triple15) -> rule3) OR ((((triple11) -> rule1)) -> rule3))]