The cat likes the rabbit. The cat sees the rabbit. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit likes the cat. The rabbit sees the cat. If the cat is nice then the cat is green. If someone likes the rabbit and the rabbit is nice then the rabbit visits the cat. If someone sees the rabbit and the rabbit visits the cat then the rabbit is cold. If someone sees the cat then they are nice. If the cat is green then the cat likes the rabbit. If someone sees the rabbit and they are nice then they are big.
The rabbit does not see the rabbit.
@0: The cat likes the rabbit.[(triple1)] The cat sees the rabbit.[(triple2)] The rabbit is big.[(triple3)] The rabbit is green.[(triple4)] The rabbit is kind.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit sees the cat.[(triple7)] @1: The rabbit is nice.[(((triple7) -> rule4))] @2: The rabbit visits the cat.[(((triple1 ((triple7) -> rule4)) -> rule2))] @3: The rabbit is cold.[(((triple2 ((triple1 ((triple7) -> rule4)) -> rule2)) -> rule3))]