The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is rough. The rabbit is young. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel is young. The squirrel needs the rabbit. If the squirrel needs the rabbit then the squirrel is big. If something needs the squirrel and it eats the rabbit then it eats the squirrel. If something chases the squirrel and it needs the rabbit then it needs the squirrel. If something chases the rabbit then it chases the squirrel. If something is blue then it eats the rabbit. If something needs the rabbit then it chases the rabbit. If something chases the rabbit and it is young then it is blue. If something eats the squirrel then it is rough.
The rabbit needs the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2 OR ((triple8 ((triple4) -> rule5)) -> rule2))] The rabbit is big.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is rough.[(triple6 OR ((triple2) -> rule8) OR ((((triple8 ((triple4) -> rule5)) -> rule2)) -> rule8))] The rabbit is young.[(triple7)] The rabbit needs the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9 OR ((triple16) -> rule6))] The squirrel eats the rabbit.[(triple10 OR ((triple12) -> rule5) OR ((((triple9 triple15) -> rule7)) -> rule5) OR ((((((triple16) -> rule6) triple15) -> rule7)) -> rule5))] The squirrel is big.[(triple11 OR ((triple16) -> rule1))] The squirrel is blue.[(triple12 OR ((triple9 triple15) -> rule7) OR ((((triple16) -> rule6) triple15) -> rule7))] The squirrel is cold.[(triple13)] The squirrel is rough.[(triple14 OR ((((((((triple9) -> rule4) triple16) -> rule3) triple10) -> rule2)) -> rule8) OR ((((((((triple9) -> rule4) triple16) -> rule3) ((triple12) -> rule5)) -> rule2)) -> rule8) OR ((((((((triple9) -> rule4) triple16) -> rule3) ((((triple9 triple15) -> rule7)) -> rule5)) -> rule2)) -> rule8) OR ((((((((((triple16) -> rule6)) -> rule4) triple16) -> rule3) triple10) -> rule2)) -> rule8) OR ((((((((((triple16) -> rule6)) -> rule4) triple16) -> rule3) ((triple12) -> rule5)) -> rule2)) -> rule8) OR ((((((((triple9) -> rule4) triple16) -> rule3) ((((((triple16) -> rule6) triple15) -> rule7)) -> rule5)) -> rule2)) -> rule8) OR ((((((((((triple16) -> rule6)) -> rule4) triple16) -> rule3) ((((triple9 triple15) -> rule7)) -> rule5)) -> rule2)) -> rule8) OR ((((((((((triple16) -> rule6)) -> rule4) triple16) -> rule3) ((((((triple16) -> rule6) triple15) -> rule7)) -> rule5)) -> rule2)) -> rule8))] The squirrel is young.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The rabbit eats the rabbit.[(((triple4) -> rule5))] The squirrel chases the squirrel.[(((triple9) -> rule4) OR ((((triple16) -> rule6)) -> rule4))] @2: The squirrel needs the squirrel.[(((((triple9) -> rule4) triple16) -> rule3) OR ((((((triple16) -> rule6)) -> rule4) triple16) -> rule3))] @3: The squirrel eats the squirrel.[(((((((triple9) -> rule4) triple16) -> rule3) triple10) -> rule2) OR ((((((triple9) -> rule4) triple16) -> rule3) ((triple12) -> rule5)) -> rule2) OR ((((((triple9) -> rule4) triple16) -> rule3) ((((triple9 triple15) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple16) -> rule6)) -> rule4) triple16) -> rule3) triple10) -> rule2) OR ((((((((triple16) -> rule6)) -> rule4) triple16) -> rule3) ((triple12) -> rule5)) -> rule2) OR ((((((triple9) -> rule4) triple16) -> rule3) ((((((triple16) -> rule6) triple15) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple16) -> rule6)) -> rule4) triple16) -> rule3) ((((triple9 triple15) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple16) -> rule6)) -> rule4) triple16) -> rule3) ((((((triple16) -> rule6) triple15) -> rule7)) -> rule5)) -> rule2))]