The cat visits the rabbit. The rabbit chases the cat. The rabbit is red. If something is cold then it chases the cat. If the cat visits the rabbit then the rabbit is red. If something chases the cat and it is cold then the cat is red. If something visits the rabbit and it is not cold then the rabbit is young. If something chases the rabbit and it does not chase the cat then the rabbit is green. If something is green and cold then it likes the cat.
The rabbit chases the cat.
@0: The cat visits the rabbit.[(triple1)] The rabbit chases the cat.[(triple2)] The rabbit is red.[(triple3 OR ((triple1) -> rule2))]