The cat does not visit the squirrel. The cow is big. The lion visits the cat. The squirrel likes the cow. If the cat is red then the cat does not see the squirrel. If someone is green then they are big. If the lion is green then the lion does not like the cat. If someone visits the cat and they see the cat then the cat is big. If someone sees the cat and the cat sees the cow then the cat is big. If someone visits the cat then they are not green.
The cow does not see the lion.
@0: The cat does not visit the squirrel.[(triple1)] The cow is big.[(triple2)] The lion visits the cat.[(triple3)] The squirrel likes the cow.[(triple4)] @1: The lion is not green.[(((triple3) -> rule6))]