The lion chases the squirrel. The lion is green. The rabbit sees the squirrel. The rabbit visits the lion. The squirrel chases the lion. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel sees the lion. The squirrel sees the rabbit. If something is kind and it visits the squirrel then it is green. If something sees the rabbit and it chases the lion then it visits the lion. If something is cold and it sees the rabbit then the rabbit is rough. If something sees the rabbit and the rabbit sees the squirrel then the rabbit visits the squirrel. If something is green and cold then it visits the rabbit. If something is blue and kind then it visits the squirrel.
The rabbit does not visit the squirrel.
@0: The lion chases the squirrel.[(triple1)] The lion is green.[(triple2)] The rabbit sees the squirrel.[(triple3)] The rabbit visits the lion.[(triple4)] The squirrel chases the lion.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is kind.[(triple8)] The squirrel sees the lion.[(triple9)] The squirrel sees the rabbit.[(triple10)] @1: The rabbit is rough.[(((triple7 triple10) -> rule3))] The rabbit visits the squirrel.[(((triple10 triple3) -> rule4))] The squirrel visits the lion.[(((triple10 triple5) -> rule2))] The squirrel visits the squirrel.[(((triple6 triple8) -> rule6))] @2: The squirrel is green.[(((triple8 ((triple6 triple8) -> rule6)) -> rule1))] @3: The squirrel visits the rabbit.[(((((triple8 ((triple6 triple8) -> rule6)) -> rule1) triple7) -> rule5))]