The rabbit eats the squirrel. The rabbit is big. The rabbit is kind. The rabbit is round. The rabbit is young. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel likes the rabbit. The squirrel visits the rabbit. If something eats the rabbit and the rabbit likes the squirrel then the squirrel likes the rabbit.
The rabbit does not visit the squirrel.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the squirrel.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is big.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the rabbit.[(triple14 OR ((triple8 triple6) -> rule1))] The squirrel visits the rabbit.[(triple15)]