The cat chases the squirrel. The cat is big. The cat is green. The cat is kind. The cat is nice. The cat is young. The cat needs the squirrel. The cat sees the squirrel. The squirrel chases the cat. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is young. The squirrel needs the cat. The squirrel sees the cat. If something needs the cat and the cat chases the squirrel then it chases the cat. If something is green then it needs the cat.
The cat chases the cat.
@0: The cat chases the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is young.[(triple6)] The cat needs the squirrel.[(triple7)] The cat sees the squirrel.[(triple8)] The squirrel chases the cat.[(triple9 OR ((triple14 triple1) -> rule1))] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The cat needs the cat.[(((triple3) -> rule2))] @2: The cat chases the cat.[(((((triple3) -> rule2) triple1) -> rule1))]