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