The cat eats the dog. The cat eats the rabbit. The cat likes the dog. The dog is cold. The dog sees the cat. The rabbit likes the cat. The rabbit sees the dog. If someone is cold then they like the cat. If someone likes the cat then the cat is cold. If someone eats the cat then they are rough. If someone is green then they eat the cat. If someone likes the rabbit and they eat the cat then the rabbit is cold. If someone is green and they see the dog then they see the cat.
The dog sees the rabbit.
@0: The cat eats the dog.[(triple1)] The cat eats the rabbit.[(triple2)] The cat likes the dog.[(triple3)] The dog is cold.[(triple4)] The dog sees the cat.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit sees the dog.[(triple7)] @1: The cat is cold.[(((triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] The dog likes the cat.[(((triple4) -> rule1))] @2: The cat likes the cat.[(((((triple6) -> rule2)) -> rule1) OR ((((((triple4) -> rule1)) -> rule2)) -> rule1))]