The cat sees the squirrel. The cat visits the lion. The lion is round. The lion likes the squirrel. The lion sees the cat. The lion visits the rabbit. The lion visits the squirrel. The rabbit is big. The rabbit is green. The rabbit sees the cat. The rabbit sees the lion. The rabbit visits the lion. The squirrel likes the rabbit. The squirrel sees the cat. The squirrel visits the lion. If something likes the cat then it visits the rabbit. If something likes the squirrel then the squirrel likes the cat. If the squirrel visits the rabbit then the squirrel sees the rabbit. If something is green and it likes the lion then it is red. If something likes the squirrel and the squirrel sees the cat then the squirrel is kind. If the lion visits the rabbit and the lion likes the squirrel then the lion is big.
The rabbit is red.
@0: The cat sees the squirrel.[(triple1)] The cat visits the lion.[(triple2)] The lion is round.[(triple3)] The lion likes the squirrel.[(triple4)] The lion sees the cat.[(triple5)] The lion visits the rabbit.[(triple6)] The lion visits the squirrel.[(triple7)] The rabbit is big.[(triple8)] The rabbit is green.[(triple9)] The rabbit sees the cat.[(triple10)] The rabbit sees the lion.[(triple11)] The rabbit visits the lion.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The lion is big.[(((triple6 triple4) -> rule6))] The squirrel is kind.[(((triple4 triple14) -> rule5))] The squirrel likes the cat.[(((triple4) -> rule2))] @2: The squirrel visits the rabbit.[(((((triple4) -> rule2)) -> rule1))] @3: The squirrel sees the rabbit.[(((((((triple4) -> rule2)) -> rule1)) -> rule3))]