The cat is green. The cat is nice. The cat likes the squirrel. The rabbit likes the tiger. The rabbit does not need the cat. The rabbit needs the squirrel. The squirrel is cold. The squirrel needs the cat. The squirrel needs the rabbit. The tiger chases the cat. The tiger chases the rabbit. The tiger is kind. The tiger is nice. The tiger is young. The tiger likes the cat. The tiger needs the cat. If something chases the squirrel then the squirrel needs the tiger. If something needs the tiger then it likes the rabbit. If something chases the cat and it likes the rabbit then the rabbit chases the squirrel. If something chases the rabbit then the rabbit does not need the tiger. If something is kind and it chases the rabbit then it needs the tiger. If something is kind then it does not like the squirrel. If something likes the squirrel and it does not need the tiger then the squirrel likes the tiger.
The squirrel does not chase the squirrel.
@0: The cat is green.[(triple1)] The cat is nice.[(triple2)] The cat likes the squirrel.[(triple3)] The rabbit does not need the cat.[(triple5)] The rabbit likes the tiger.[(triple4)] The rabbit needs the squirrel.[(triple6)] The squirrel is cold.[(triple7)] The squirrel needs the cat.[(triple8)] The squirrel needs the rabbit.[(triple9)] The tiger chases the cat.[(triple10)] The tiger chases the rabbit.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cat.[(triple15)] The tiger needs the cat.[(triple16)] @1: The rabbit does not need the tiger.[(((triple11) -> rule4))] The tiger does not like the squirrel.[(((triple12) -> rule6))] The tiger needs the tiger.[(((triple12 triple11) -> rule5))] @2: The tiger likes the rabbit.[(((((triple12 triple11) -> rule5)) -> rule2))] @3: The rabbit chases the squirrel.[(((triple10 ((((triple12 triple11) -> rule5)) -> rule2)) -> rule3))] @4: The squirrel needs the tiger.[(((((triple10 ((((triple12 triple11) -> rule5)) -> rule2)) -> rule3)) -> rule1))] @5: The squirrel likes the rabbit.[(((((((triple10 ((((triple12 triple11) -> rule5)) -> rule2)) -> rule3)) -> rule1)) -> rule2))]