The rabbit is big. The rabbit is cold. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit needs the squirrel. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel needs the rabbit. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone visits the rabbit then they are big. If someone sees the rabbit then they are big. If someone sees the rabbit and they see the squirrel then the squirrel is rough. If someone sees the squirrel and the squirrel is rough then they see the rabbit. If the rabbit needs the squirrel then the rabbit is big. If someone needs the rabbit then they see the squirrel. If the squirrel is cold and the squirrel needs the rabbit then the squirrel sees the rabbit. If someone needs the squirrel then the squirrel sees the rabbit.
The rabbit does not visit the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple6) -> rule5) OR ((((triple7 ((triple14 ((triple13) -> rule6)) -> rule3)) -> rule4)) -> rule2) OR ((((triple7 ((((triple6) -> rule8) ((triple13) -> rule6)) -> rule3)) -> rule4)) -> rule2) OR ((((triple7 ((((triple10 triple13) -> rule7) ((triple13) -> rule6)) -> rule3)) -> rule4)) -> rule2))] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the squirrel.[(triple6)] The rabbit sees the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel is big.[(triple9 OR ((triple14) -> rule2) OR ((triple15) -> rule1) OR ((((triple6) -> rule8)) -> rule2) OR ((((triple10 triple13) -> rule7)) -> rule2))] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is round.[(triple12)] The squirrel needs the rabbit.[(triple13)] The squirrel sees the rabbit.[(triple14 OR ((triple6) -> rule8) OR ((triple10 triple13) -> rule7))] The squirrel visits the rabbit.[(triple15)] @1: The squirrel sees the squirrel.[(((triple13) -> rule6))] @2: The squirrel is rough.[(((triple14 ((triple13) -> rule6)) -> rule3) OR ((((triple6) -> rule8) ((triple13) -> rule6)) -> rule3) OR ((((triple10 triple13) -> rule7) ((triple13) -> rule6)) -> rule3))] @3: The rabbit sees the rabbit.[(((triple7 ((triple14 ((triple13) -> rule6)) -> rule3)) -> rule4) OR ((triple7 ((((triple6) -> rule8) ((triple13) -> rule6)) -> rule3)) -> rule4) OR ((triple7 ((((triple10 triple13) -> rule7) ((triple13) -> rule6)) -> rule3)) -> rule4))]