The cat is cold. The rabbit chases the cat. The rabbit sees the cat. If someone sees the cat then the cat chases the rabbit. If someone visits the cat then the cat sees the rabbit. If someone visits the rabbit and they see the rabbit then they are not cold. If someone sees the cat then they visit the cat. If someone chases the rabbit and the rabbit sees the cat then they see the cat. If someone visits the rabbit then the rabbit is not red.
The rabbit is kind.
@0: The cat is cold.[(triple1)] The rabbit chases the cat.[(triple2)] The rabbit sees the cat.[(triple3)] @1: The cat chases the rabbit.[(((triple3) -> rule1))] The rabbit visits the cat.[(((triple3) -> rule4))] @2: The cat sees the cat.[(((((triple3) -> rule1) triple3) -> rule5))] The cat sees the rabbit.[(((((triple3) -> rule4)) -> rule2) OR ((((((((triple3) -> rule1) triple3) -> rule5)) -> rule4)) -> rule2))] @3: The cat visits the cat.[(((((((triple3) -> rule1) triple3) -> rule5)) -> rule4))]