The mouse chases the squirrel. The mouse is big. The mouse is blue. The mouse is cold. The mouse is red. The mouse is young. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel is young. The squirrel likes the mouse. The squirrel visits the mouse. If something chases the squirrel and it chases the mouse then the mouse chases the squirrel. If something is big and cold then it chases the squirrel. If something likes the squirrel then the squirrel is blue. If the squirrel likes the mouse and the mouse chases the squirrel then the squirrel is red. If something chases the mouse then the mouse visits the squirrel. If something visits the mouse and the mouse is cold then the mouse chases the squirrel.
The squirrel does not chase the squirrel.
@0: The mouse chases the squirrel.[(triple1 OR ((triple15 triple4) -> rule6) OR ((triple2 triple4) -> rule2))] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8 OR ((triple9) -> rule5))] The squirrel chases the mouse.[(triple9)] The squirrel is blue.[(triple10 OR ((triple7) -> rule3))] The squirrel is cold.[(triple11)] The squirrel is red.[(triple12 OR ((triple14 triple1) -> rule4) OR ((triple14 ((triple15 triple4) -> rule6)) -> rule4) OR ((triple14 ((triple2 triple4) -> rule2)) -> rule4))] The squirrel is young.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel visits the mouse.[(triple15)]