The rabbit chases the squirrel. The rabbit is not kind. The rabbit is red. The rabbit is rough. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is kind. The squirrel sees the rabbit. The squirrel visits the rabbit. If something is kind and it sees the rabbit then the rabbit visits the squirrel.
The squirrel is not blue.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is not kind.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit sees the squirrel.[(triple5)] The rabbit visits the squirrel.[(triple6 OR ((triple8 triple9) -> rule1))] The squirrel chases the rabbit.[(triple7)] The squirrel is kind.[(triple8)] The squirrel sees the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)]