The bear is red. The rabbit is red. The rabbit likes the tiger. The squirrel is cold. The tiger eats the bear. The tiger is big. The tiger likes the rabbit. All cold people are kind. If someone is kind then they like the bear. If someone chases the rabbit and they are kind then the rabbit is kind. If someone likes the bear then they chase the rabbit. If someone chases the tiger and the tiger is red then the tiger chases the bear. If the squirrel is kind and the squirrel likes the rabbit then the rabbit is green. If the tiger eats the bear and the bear chases the rabbit then the bear is green.
The rabbit does not eat the tiger.
@0: The bear is red.[(triple1)] The rabbit is red.[(triple2)] The rabbit likes the tiger.[(triple3)] The squirrel is cold.[(triple4)] The tiger eats the bear.[(triple5)] The tiger is big.[(triple6)] The tiger likes the rabbit.[(triple7)] @1: The squirrel is kind.[(((triple4) -> rule1))] @2: The squirrel likes the bear.[(((((triple4) -> rule1)) -> rule2))] @3: The squirrel chases the rabbit.[(((((((triple4) -> rule1)) -> rule2)) -> rule4))] @4: The rabbit is kind.[(((((((((triple4) -> rule1)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule3))] @5: The rabbit likes the bear.[(((((((((((triple4) -> rule1)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule3)) -> rule2))] @6: The rabbit chases the rabbit.[(((((((((((((triple4) -> rule1)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule3)) -> rule2)) -> rule4))]