The cat is cold. The cat is kind. The cat is nice. All cold people are red. If someone is cold then they are red. All red people are nice.
The cat visits the cat.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3 OR ((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] @1: The cat is red.[(((triple1) -> rule1) OR ((triple1) -> rule2))]