The bear is blue. The cat is cold. The rabbit chases the bear. The squirrel eats the rabbit. If someone likes the bear then the bear likes the rabbit. If someone is green then they like the cat. If someone chases the bear then they like the cat. If someone likes the cat then they like the rabbit. If someone likes the cat then the cat is green. If someone chases the rabbit then the rabbit is cold. If someone chases the squirrel and they chase the cat then the squirrel does not eat the cat. If the cat is green and the cat eats the squirrel then the squirrel likes the bear.
The rabbit is big.
@0: The bear is blue.[(triple1)] The cat is cold.[(triple2)] The rabbit chases the bear.[(triple3)] The squirrel eats the rabbit.[(triple4)] @1: The rabbit likes the cat.[(((triple3) -> rule3))] @2: The cat is green.[(((((triple3) -> rule3)) -> rule5))] The rabbit likes the rabbit.[(((((triple3) -> rule3)) -> rule4))] @3: The cat likes the cat.[(((((((triple3) -> rule3)) -> rule5)) -> rule2))] @4: The cat likes the rabbit.[(((((((((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule4))]