The cat eats the mouse. The cat is blue. The cat is cold. The cat is rough. The mouse chases the cat. The mouse chases the tiger. The mouse is cold. The mouse is nice. The mouse is round. The mouse visits the cat. The mouse visits the tiger. The tiger chases the cat. The tiger chases the mouse. The tiger eats the cat. The tiger is blue. The tiger is round. If something is rough then it eats the cat. If something visits the cat then the cat visits the mouse. If something is rough then it eats the cat. If something is cold and it chases the mouse then the mouse visits the tiger. If something visits the cat then it visits the tiger. If something chases the cat and the cat is blue then the cat eats the tiger. If something is blue then it visits the cat. If the cat visits the mouse and the cat eats the tiger then the cat is blue.
The mouse is rough.
@0: The cat eats the mouse.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is rough.[(triple4)] The mouse chases the cat.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse is cold.[(triple7)] The mouse is nice.[(triple8)] The mouse is round.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the tiger.[(triple11 OR ((triple10) -> rule5))] The tiger chases the cat.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger eats the cat.[(triple14)] The tiger is blue.[(triple15)] The tiger is round.[(triple16)] @1: The cat eats the cat.[(((triple4) -> rule1) OR ((triple4) -> rule3))] The cat eats the tiger.[(((triple12 triple2) -> rule6) OR ((triple5 triple2) -> rule6))] The cat visits the cat.[(((triple2) -> rule7))] The cat visits the mouse.[(((triple10) -> rule2) OR ((((triple15) -> rule7)) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] The tiger visits the cat.[(((triple15) -> rule7))] @2: The cat visits the tiger.[(((((triple2) -> rule7)) -> rule5))] The tiger visits the tiger.[(((((triple15) -> rule7)) -> rule5))]