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