The cat does not eat the rabbit. The cat is cold. The lion is rough. The lion sees the rabbit. The rabbit is green. The rabbit is kind. The rabbit sees the cat. The rabbit sees the squirrel. The rabbit visits the lion. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is not green. The squirrel is kind. The squirrel sees the lion. The squirrel sees the rabbit. If someone eats the rabbit and they are kind then they are rough. If someone eats the cat then they are rough. If someone eats the squirrel then they visit the cat. If someone sees the squirrel and the squirrel sees the rabbit then they eat the rabbit. If the rabbit is kind then the rabbit is cold. If someone is kind then they see the cat.
The rabbit is green.
@0: The cat does not eat the rabbit.[(triple1)] The cat is cold.[(triple2)] The lion is rough.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit is green.[(triple5)] The rabbit is kind.[(triple6)] The rabbit sees the cat.[(triple7 OR ((triple6) -> rule6))] The rabbit sees the squirrel.[(triple8)] The rabbit visits the lion.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is big.[(triple12)] The squirrel is kind.[(triple14)] The squirrel is not green.[(triple13)] The squirrel sees the lion.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The rabbit eats the rabbit.[(((triple8 triple16) -> rule4))] The rabbit is cold.[(((triple6) -> rule5))] The squirrel is rough.[(((triple11 triple14) -> rule1))] The squirrel sees the cat.[(((triple14) -> rule6))] @2: The rabbit is rough.[(((((triple8 triple16) -> rule4) triple6) -> rule1))]