The lion chases the rabbit. The lion does not chase the squirrel. The lion eats the rabbit. The lion does not eat the squirrel. The lion is cold. The lion is round. The lion sees the rabbit. The lion sees the squirrel. The rabbit chases the squirrel. The rabbit does not eat the lion. The rabbit is round. The rabbit sees the lion. The rabbit sees the squirrel. The squirrel is big. The squirrel is round. If the lion chases the squirrel and the squirrel does not eat the rabbit then the rabbit chases the lion. If someone eats the lion then the lion is not cold. If someone sees the rabbit and they are not round then they chase the rabbit. If the squirrel is green then the squirrel sees the rabbit. If the squirrel sees the lion then the squirrel eats the lion. If someone sees the squirrel then they are nice. If someone sees the rabbit and the rabbit is nice then they are cold. All round people are green.
The lion is round.
@0: The lion chases the rabbit.[(triple1)] The lion does not chase the squirrel.[(triple2)] The lion does not eat the squirrel.[(triple4)] The lion eats the rabbit.[(triple3)] The lion is cold.[(triple5 OR ((triple7 ((triple13) -> rule6)) -> rule7))] The lion is round.[(triple6)] The lion sees the rabbit.[(triple7)] The lion sees the squirrel.[(triple8)] The rabbit chases the squirrel.[(triple9)] The rabbit does not eat the lion.[(triple10)] The rabbit is round.[(triple11)] The rabbit sees the lion.[(triple12)] The rabbit sees the squirrel.[(triple13)] The squirrel is big.[(triple14)] The squirrel is round.[(triple15)] @1: The lion is green.[(((triple6) -> rule8))] The lion is nice.[(((triple8) -> rule6))] The rabbit is green.[(((triple11) -> rule8))] The rabbit is nice.[(((triple13) -> rule6))] The squirrel is green.[(((triple15) -> rule8))] @2: The squirrel sees the rabbit.[(((((triple15) -> rule8)) -> rule4))] @3: The squirrel is cold.[(((((((triple15) -> rule8)) -> rule4) ((triple13) -> rule6)) -> rule7))]