The rabbit chases the squirrel. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the rabbit. The squirrel needs the rabbit. If someone is kind and they chase the squirrel then the squirrel likes the rabbit.
The rabbit does not chase the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit needs the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the rabbit.[(triple15 OR ((triple2 triple1) -> rule1))] The squirrel needs the rabbit.[(triple16)]