The lion is red. The lion is not young. The lion needs the squirrel. The rabbit is green. The rabbit needs the lion. The squirrel does not need the lion. The squirrel does not need the rabbit. The squirrel does not need the tiger. The squirrel visits the rabbit. The tiger eats the squirrel. The tiger is blue. The tiger is young. If the tiger needs the lion and the lion needs the rabbit then the rabbit is not blue. If the lion eats the tiger and the lion is not young then the lion eats the rabbit. If someone needs the lion then the lion is green. All rough people are not green. If someone eats the rabbit and the rabbit is not young then the rabbit is green. If someone is blue then they eat the tiger. If someone eats the squirrel then they need the squirrel. If someone eats the tiger and the tiger is blue then they are rough.
The tiger is not green.
@0: The lion is not young.[(triple2)] The lion is red.[(triple1)] The lion needs the squirrel.[(triple3)] The rabbit is green.[(triple4)] The rabbit needs the lion.[(triple5)] The squirrel does not need the lion.[(triple6)] The squirrel does not need the rabbit.[(triple7)] The squirrel does not need the tiger.[(triple8)] The squirrel visits the rabbit.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is blue.[(triple11)] The tiger is young.[(triple12)] @1: The lion is green.[(((triple5) -> rule3))] The tiger eats the tiger.[(((triple11) -> rule6))] The tiger needs the squirrel.[(((triple10) -> rule7))] @2: The tiger is rough.[(((((triple11) -> rule6) triple11) -> rule8))] @3: The tiger is not green.[(((((((triple11) -> rule6) triple11) -> rule8)) -> rule4))]