The cat likes the rabbit. The rabbit is green. If the rabbit sees the cat then the rabbit likes the cat. If someone likes the cat then the cat is not big. If someone is kind and they like the cat then they like the rabbit. If someone eats the rabbit then the rabbit sees the cat. If someone likes the rabbit then the rabbit sees the cat. If someone eats the rabbit and the rabbit eats the cat then the rabbit is nice. If someone eats the cat then the cat likes the rabbit. If someone likes the cat and they like the rabbit then they do not eat the cat.
The cat is blue.
@0: The cat likes the rabbit.[(triple1)] The rabbit is green.[(triple2)] @1: The rabbit sees the cat.[(((triple1) -> rule5))] @2: The rabbit likes the cat.[(((((triple1) -> rule5)) -> rule1))] @3: The cat is not big.[(((((((triple1) -> rule5)) -> rule1)) -> rule2))]