The cat chases the squirrel. The cat is green. The cat is kind. The cat is nice. The cat likes the squirrel. The cat sees the squirrel. The squirrel chases the cat. The squirrel is kind. The squirrel is young. The squirrel sees the cat. If someone is green and cold then they like the squirrel. If someone chases the cat then they are kind. If the squirrel is young and the squirrel chases the cat then the squirrel sees the cat. If someone sees the squirrel and the squirrel sees the cat then they like the squirrel. If someone likes the squirrel and they see the cat then the squirrel sees the cat. If someone likes the cat and they are kind then the cat is kind.
The squirrel is not young.
@0: The cat chases the squirrel.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat likes the squirrel.[(triple5 OR ((triple6 triple10) -> rule4) OR ((triple6 ((triple9 triple7) -> rule3)) -> rule4))] The cat sees the squirrel.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel is kind.[(triple8 OR ((triple7) -> rule2))] The squirrel is young.[(triple9)] The squirrel sees the cat.[(triple10 OR ((triple9 triple7) -> rule3))]