The cow is blue. The cow is green. The cow needs the rabbit. The cow sees the rabbit. The cow visits the lion. The lion is big. The lion is blue. The lion needs the cow. The lion needs the squirrel. The lion sees the squirrel. The rabbit needs the cow. The squirrel needs the rabbit. If something needs the cow and the cow needs the squirrel then it is big. If something visits the lion then it sees the lion. If the squirrel visits the rabbit then the rabbit is green. If something sees the cow and the cow sees the squirrel then it sees the rabbit. If something needs the cow then it sees the cow. If something needs the cow then the cow is kind. If something needs the lion then the lion sees the squirrel. If the rabbit sees the lion and the lion sees the rabbit then the lion needs the squirrel.
The rabbit needs the cow.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow needs the rabbit.[(triple3)] The cow sees the rabbit.[(triple4)] The cow visits the lion.[(triple5)] The lion is big.[(triple6)] The lion is blue.[(triple7)] The lion needs the cow.[(triple8)] The lion needs the squirrel.[(triple9)] The lion sees the squirrel.[(triple10)] The rabbit needs the cow.[(triple11)] The squirrel needs the rabbit.[(triple12)] @1: The cow is kind.[(((triple11) -> rule6) OR ((triple8) -> rule6))] The cow sees the lion.[(((triple5) -> rule2))] The lion sees the cow.[(((triple8) -> rule5))] The rabbit sees the cow.[(((triple11) -> rule5))]