The cow is blue. The cow visits the lion. The cow visits the squirrel. The lion is blue. The lion needs the cow. The lion visits the squirrel. The rabbit is red. The squirrel is cold. The squirrel is round. The squirrel visits the lion. If something needs the rabbit and the rabbit is cold then it is round. If the lion sees the rabbit then the rabbit sees the lion. If something is blue and it sees the cow then it is red. If something visits the cow then the cow sees the rabbit. If something is cold and it sees the lion then the lion visits the rabbit. If something visits the squirrel then the squirrel visits the rabbit.
The squirrel needs the rabbit.
@0: The cow is blue.[(triple1)] The cow visits the lion.[(triple2)] The cow visits the squirrel.[(triple3)] The lion is blue.[(triple4)] The lion needs the cow.[(triple5)] The lion visits the squirrel.[(triple6)] The rabbit is red.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is round.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The squirrel visits the rabbit.[(((triple3) -> rule6) OR ((triple6) -> rule6))]