The cat is cold. The cat likes the rabbit. The cat sees the rabbit. The cat visits the rabbit. The rabbit is cold. The rabbit is green. The rabbit sees the cat. If the rabbit is green then the rabbit likes the cat. If something visits the cat then it is round. If something sees the rabbit and it likes the cat then the rabbit likes the cat.
The cat sees the rabbit.
@0: The cat is cold.[(triple1)] The cat likes the rabbit.[(triple2)] The cat sees the rabbit.[(triple3)] The cat visits the rabbit.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is green.[(triple6)] The rabbit sees the cat.[(triple7)] @1: The rabbit likes the cat.[(((triple6) -> rule1))]