The cat is round. The lion chases the cat. The lion chases the rabbit. The lion is rough. The lion needs the rabbit. The lion needs the squirrel. The lion sees the cat. The lion sees the rabbit. The rabbit is green. The rabbit is kind. The rabbit needs the cat. The rabbit sees the lion. The squirrel chases the rabbit. The squirrel is kind. The squirrel sees the lion. If the cat is rough then the cat is nice. If someone is rough and they chase the squirrel then they chase the rabbit. If someone needs the squirrel and they need the cat then the squirrel is green. If someone needs the squirrel and they chase the rabbit then the squirrel needs the lion. If someone sees the cat then the cat chases the lion. If someone is kind and green then they need the squirrel.
The rabbit does not chase the rabbit.
@0: The cat is round.[(triple1)] The lion chases the cat.[(triple2)] The lion chases the rabbit.[(triple3)] The lion is rough.[(triple4)] The lion needs the rabbit.[(triple5)] The lion needs the squirrel.[(triple6)] The lion sees the cat.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit is green.[(triple9)] The rabbit is kind.[(triple10)] The rabbit needs the cat.[(triple11)] The rabbit sees the lion.[(triple12)] The squirrel chases the rabbit.[(triple13)] The squirrel is kind.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The cat chases the lion.[(((triple7) -> rule5))] The rabbit needs the squirrel.[(((triple10 triple9) -> rule6))] The squirrel needs the lion.[(((triple6 triple3) -> rule4) OR ((((triple14 ((((triple10 triple9) -> rule6) triple11) -> rule3)) -> rule6) triple13) -> rule4))] @2: The squirrel is green.[(((((triple10 triple9) -> rule6) triple11) -> rule3))] @3: The squirrel needs the squirrel.[(((triple14 ((((triple10 triple9) -> rule6) triple11) -> rule3)) -> rule6))]