The mouse does not visit the tiger. The rabbit chases the mouse. The rabbit is nice. The rabbit does not visit the squirrel. The rabbit visits the tiger. The squirrel chases the tiger. The squirrel is cold. The squirrel is not red. The squirrel visits the rabbit. The squirrel visits the tiger. The tiger is red. The tiger likes the squirrel. If something visits the rabbit then it likes the mouse. If something visits the tiger and it likes the squirrel then it chases the squirrel. If something chases the mouse then the mouse does not visit the tiger. If something chases the tiger then the tiger is not nice. If something likes the squirrel and the squirrel visits the mouse then the squirrel does not like the mouse. If something visits the mouse and it is not red then the mouse is young. If something likes the mouse then it is young. If something is nice and it likes the rabbit then the rabbit is not rough.
The squirrel chases the tiger.
@0: The mouse does not visit the tiger.[(triple1 OR ((triple2) -> rule3))] The rabbit chases the mouse.[(triple2)] The rabbit does not visit the squirrel.[(triple4)] The rabbit is nice.[(triple3)] The rabbit visits the tiger.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is not red.[(triple8)] The squirrel visits the rabbit.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger is red.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The squirrel likes the mouse.[(((triple9) -> rule1))] The tiger is not nice.[(((triple6) -> rule4))] @2: The squirrel is young.[(((((triple9) -> rule1)) -> rule7))]