The mouse does not visit the squirrel. The rabbit visits the squirrel. The squirrel is green. The squirrel visits the tiger. The tiger does not chase the mouse. The tiger is round. The tiger visits the rabbit. If something is round and it visits the rabbit then the rabbit is young. If something is young then it is not cold. If something chases the rabbit and it eats the mouse then the rabbit eats the mouse.
The mouse does not visit the squirrel.
@0: The mouse does not visit the squirrel.[(triple1)] The rabbit visits the squirrel.[(triple2)] The squirrel is green.[(triple3)] The squirrel visits the tiger.[(triple4)] The tiger does not chase the mouse.[(triple5)] The tiger is round.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The rabbit is young.[(((triple6 triple7) -> rule1))] @2: The rabbit is not cold.[(((((triple6 triple7) -> rule1)) -> rule2))]