The cat chases the mouse. The cat eats the mouse. The cat is blue. The cat is nice. The cat is red. The cat is rough. The cat is round. The cat visits the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is blue. The mouse is nice. The mouse is red. The mouse is round. The mouse visits the cat. If something chases the cat and the cat visits the mouse then the mouse is red. If something is nice and it visits the mouse then it is red. Red things are blue. If something visits the mouse then the mouse is nice. If the cat is rough then the cat chases the mouse. If something visits the cat and it visits the mouse then it chases the mouse. If something is red then it visits the cat. If something eats the cat and it is blue then it is nice.
The mouse does not chase the mouse.
@0: The cat chases the mouse.[(triple1 OR ((triple6) -> rule5) OR ((((triple5) -> rule7) triple8) -> rule6) OR ((((((triple4 triple8) -> rule2)) -> rule7) triple8) -> rule6))] The cat eats the mouse.[(triple2)] The cat is blue.[(triple3 OR ((triple5) -> rule3) OR ((((triple4 triple8) -> rule2)) -> rule3))] The cat is nice.[(triple4)] The cat is red.[(triple5 OR ((triple4 triple8) -> rule2))] The cat is rough.[(triple6)] The cat is round.[(triple7)] The cat visits the mouse.[(triple8)] The mouse chases the cat.[(triple9)] The mouse eats the cat.[(triple10)] The mouse is blue.[(triple11 OR ((triple13) -> rule3) OR ((((triple9 triple8) -> rule1)) -> rule3))] The mouse is nice.[(triple12 OR ((triple8) -> rule4) OR ((triple10 triple11) -> rule8) OR ((triple10 ((triple13) -> rule3)) -> rule8) OR ((triple10 ((((triple9 triple8) -> rule1)) -> rule3)) -> rule8))] The mouse is red.[(triple13 OR ((triple9 triple8) -> rule1))] The mouse is round.[(triple14)] The mouse visits the cat.[(triple15 OR ((triple13) -> rule7) OR ((((triple9 triple8) -> rule1)) -> rule7))] @1: The cat visits the cat.[(((triple5) -> rule7) OR ((((triple4 triple8) -> rule2)) -> rule7))]