The cat sees the rabbit. The lion is cold. The rabbit chases the cat. The rabbit is nice. The squirrel is blue. The squirrel is young. The squirrel sees the lion. If someone sees the rabbit then they like the lion. If someone likes the squirrel and the squirrel chases the rabbit then they are cold. If someone likes the cat then they see the squirrel. If the lion is young and the lion likes the rabbit then the rabbit is cold. If someone chases the rabbit and they see the cat then they are young. If someone chases the lion then they are blue.
The squirrel is blue.
@0: The cat sees the rabbit.[(triple1)] The lion is cold.[(triple2)] The rabbit chases the cat.[(triple3)] The rabbit is nice.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is young.[(triple6)] The squirrel sees the lion.[(triple7)] @1: The cat likes the lion.[(((triple1) -> rule1))]