The cow sees the lion. The cow sees the squirrel. The lion visits the rabbit. The rabbit is blue. The rabbit visits the lion. The squirrel sees the cow. The squirrel visits the cow. If something visits the lion and the lion is big then it visits the rabbit. If something visits the cow then it is round. If something likes the squirrel and it visits the rabbit then the squirrel is blue. If the lion visits the squirrel and the lion sees the cow then the lion is red. If something likes the squirrel then the squirrel likes the cow. If something sees the squirrel then it likes the cow. If something sees the squirrel then the squirrel visits the rabbit. If something likes the cow then it likes the squirrel. If something visits the cow then it is kind.
The cow likes the squirrel.
@0: The cow sees the lion.[(triple1)] The cow sees the squirrel.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit is blue.[(triple4)] The rabbit visits the lion.[(triple5)] The squirrel sees the cow.[(triple6)] The squirrel visits the cow.[(triple7)] @1: The cow likes the cow.[(((triple2) -> rule6))] The squirrel is kind.[(((triple7) -> rule9))] The squirrel is round.[(((triple7) -> rule2))] The squirrel visits the rabbit.[(((triple2) -> rule7))] @2: The cow likes the squirrel.[(((((triple2) -> rule6)) -> rule8))] @3: The squirrel likes the cow.[(((((((triple2) -> rule6)) -> rule8)) -> rule5))] @4: The squirrel likes the squirrel.[(((((((((triple2) -> rule6)) -> rule8)) -> rule5)) -> rule8))] @5: The squirrel is blue.[(((((((((((triple2) -> rule6)) -> rule8)) -> rule5)) -> rule8) ((triple2) -> rule7)) -> rule3))]