The rabbit is big. The rabbit is kind. The rabbit is rough. The rabbit is young. 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 kind. The squirrel is rough. The squirrel is young. The squirrel likes the rabbit. The squirrel needs the rabbit. The squirrel visits the rabbit. If something likes the rabbit then the rabbit needs the squirrel. If something is kind then it needs the rabbit. If something likes the rabbit then it visits the squirrel. If something is blue and it visits the rabbit then it visits the squirrel. If the squirrel needs the rabbit and the rabbit visits the squirrel then the squirrel is rough. If something visits the rabbit and it needs the squirrel then it visits the squirrel. Blue things are young. If something likes the rabbit and the rabbit needs the squirrel then it needs the rabbit.
The rabbit does not like the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is rough.[(triple3)] The rabbit is young.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit needs the squirrel.[(triple6 OR ((triple13) -> rule1))] The rabbit visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is rough.[(triple11 OR ((triple14 triple7) -> rule5) OR ((((triple10) -> rule2) triple7) -> rule5) OR ((((triple13 triple6) -> rule8) triple7) -> rule5) OR ((((triple13 ((triple13) -> rule1)) -> rule8) triple7) -> rule5))] The squirrel is young.[(triple12 OR ((triple9) -> rule7))] The squirrel likes the rabbit.[(triple13)] The squirrel needs the rabbit.[(triple14 OR ((triple10) -> rule2) OR ((triple13 triple6) -> rule8) OR ((triple13 ((triple13) -> rule1)) -> rule8))] The squirrel visits the rabbit.[(triple15)] @1: The rabbit needs the rabbit.[(((triple2) -> rule2))] The squirrel visits the squirrel.[(((triple13) -> rule3) OR ((triple9 triple15) -> rule4))]