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