The rabbit is kind. The rabbit is young. The rabbit likes the tiger. The rabbit needs the squirrel. The rabbit needs the tiger. The rabbit visits the squirrel. The squirrel is blue. The squirrel is rough. The squirrel likes the rabbit. The squirrel likes the tiger. The squirrel needs the rabbit. The squirrel visits the tiger. The tiger is blue. The tiger needs the squirrel. The tiger visits the rabbit. The tiger visits the squirrel. If the squirrel likes the tiger then the squirrel is rough. If someone is blue and they like the rabbit then they need the rabbit. If someone likes the rabbit and the rabbit likes the tiger then they are cold. If someone likes the tiger then they need the rabbit. If someone is young then they are rough. If someone visits the squirrel then the squirrel is young.
The tiger visits the rabbit.
@0: The rabbit is kind.[(triple1)] The rabbit is young.[(triple2)] The rabbit likes the tiger.[(triple3)] The rabbit needs the squirrel.[(triple4)] The rabbit needs the tiger.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is rough.[(triple8 OR ((triple10) -> rule1) OR ((((triple16) -> rule6)) -> rule5) OR ((((triple6) -> rule6)) -> rule5))] The squirrel likes the rabbit.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel needs the rabbit.[(triple11 OR ((triple10) -> rule4) OR ((triple7 triple9) -> rule2))] The squirrel visits the tiger.[(triple12)] The tiger is blue.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger visits the rabbit.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The rabbit is rough.[(((triple2) -> rule5))] The rabbit needs the rabbit.[(((triple3) -> rule4))] The squirrel is cold.[(((triple9 triple3) -> rule3))] The squirrel is young.[(((triple16) -> rule6) OR ((triple6) -> rule6))]