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