The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel is big. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel likes the rabbit. The squirrel needs the rabbit. The squirrel visits the rabbit. If someone visits the rabbit then the rabbit likes the squirrel. If someone visits the squirrel then they are big. If someone is kind and they like the squirrel then they like the rabbit.
The squirrel does not need the squirrel.
@0: The rabbit is big.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is nice.[(triple3)] The rabbit likes the squirrel.[(triple4 OR ((triple12) -> rule1))] The rabbit needs the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is red.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the rabbit.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The rabbit likes the rabbit.[(((triple2 triple4) -> rule3) OR ((triple2 ((triple12) -> rule1)) -> rule3))]