The cat chases the rabbit. The cat is blue. The cat is cold. The cat is kind. The cat is nice. The cat sees the rabbit. The cat visits the rabbit. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit sees the cat. The rabbit visits the cat. If someone chases the cat then they visit the rabbit. If the cat sees the rabbit then the rabbit is red.
The rabbit does not visit the rabbit.
@0: The cat chases the rabbit.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat sees the rabbit.[(triple6)] The cat visits the rabbit.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is nice.[(triple10)] The rabbit sees the cat.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The rabbit is red.[(((triple6) -> rule2))]