The mouse likes the rabbit. The mouse likes the tiger. The rabbit chases the mouse. The rabbit likes the squirrel. The squirrel chases the tiger. The squirrel sees the rabbit. The tiger chases the mouse. The tiger is green. The tiger is rough. The tiger is round. The tiger sees the rabbit. The tiger sees the squirrel. If someone is rough then they like the tiger. If someone sees the squirrel and they see the mouse then the squirrel likes the rabbit. If someone is rough and they like the squirrel then the squirrel chases the mouse. If someone likes the tiger then they like the rabbit. If someone likes the mouse and the mouse is cold then the mouse likes the tiger. If someone is green and they like the rabbit then the rabbit is green.
The tiger is not rough.
@0: The mouse likes the rabbit.[(triple1 OR ((triple2) -> rule4))] The mouse likes the tiger.[(triple2)] The rabbit chases the mouse.[(triple3)] The rabbit likes the squirrel.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel sees the rabbit.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger is green.[(triple8)] The tiger is rough.[(triple9)] The tiger is round.[(triple10)] The tiger sees the rabbit.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The tiger likes the tiger.[(((triple9) -> rule1))] @2: The tiger likes the rabbit.[(((((triple9) -> rule1)) -> rule4))] @3: The rabbit is green.[(((triple8 ((((triple9) -> rule1)) -> rule4)) -> rule6))]