The cat is kind. The cat likes the dog. The dog is young. The dog visits the rabbit. The rabbit is green. The rabbit is red. The rabbit is young. The rabbit sees the cat. The rabbit sees the dog. The rabbit visits the dog. If someone is red then they like the rabbit. If the rabbit sees the dog then the rabbit likes the cat.
The rabbit does not see the cat.
@0: The cat is kind.[(triple1)] The cat likes the dog.[(triple2)] The dog is young.[(triple3)] The dog visits the rabbit.[(triple4)] The rabbit is green.[(triple5)] The rabbit is red.[(triple6)] The rabbit is young.[(triple7)] The rabbit sees the cat.[(triple8)] The rabbit sees the dog.[(triple9)] The rabbit visits the dog.[(triple10)] @1: The rabbit likes the cat.[(((triple9) -> rule2))] The rabbit likes the rabbit.[(((triple6) -> rule1))]