The rabbit chases the squirrel. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel likes the rabbit. The squirrel visits the rabbit. If someone visits the rabbit and the rabbit is rough then they chase the squirrel. If someone visits the squirrel then the squirrel likes the rabbit. If someone is young and they like the squirrel then they like the rabbit.
The squirrel does not chase the squirrel.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit likes the squirrel.[(triple2)] The rabbit visits the squirrel.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel is big.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the rabbit.[(triple9 OR ((triple3) -> rule2))] The squirrel visits the rabbit.[(triple10)]