The cat is young. The cat sees the squirrel. The squirrel does not visit the cat. If something sees the squirrel then the squirrel sees the cat. If something sees the cat and it sees the squirrel then the squirrel visits the cat. If the squirrel is green then the squirrel is nice. If something chases the cat then the cat sees the squirrel. If something is green then it chases the cat. If something sees the cat then it is green. If something sees the cat then it is green. If the cat sees the squirrel then the cat does not visit the squirrel.
The squirrel is nice.
@0: The cat is young.[(triple1)] The cat sees the squirrel.[(triple2)] The squirrel does not visit the cat.[(triple3)] @1: The cat does not visit the squirrel.[(((triple2) -> rule8))] The squirrel sees the cat.[(((triple2) -> rule1))] @2: The squirrel is green.[(((((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule1)) -> rule7))] @3: The squirrel chases the cat.[(((((((triple2) -> rule1)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule7)) -> rule5))] The squirrel is nice.[(((((((triple2) -> rule1)) -> rule6)) -> rule3) OR ((((((triple2) -> rule1)) -> rule7)) -> rule3))]