The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit likes the squirrel. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel likes the rabbit. The squirrel sees the rabbit. The squirrel visits the rabbit. If the squirrel likes the rabbit and the rabbit sees the squirrel then the squirrel is blue.
The squirrel sees the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit sees the squirrel.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is blue.[(triple9 OR ((triple13 triple6) -> rule1))] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)]