The cat is red. If someone is red and round then they are cold. All red people are round. All round people are big. All big people are blue. If the cat is round then the cat is cold. Red people are blue.
The cat is not red.
@0: The cat is red.[(triple1)] @1: The cat is blue.[(((triple1) -> rule6) OR ((((((triple1) -> rule2)) -> rule3)) -> rule4))] The cat is round.[(((triple1) -> rule2))] @2: The cat is big.[(((((triple1) -> rule2)) -> rule3))] The cat is cold.[(((((triple1) -> rule2)) -> rule5) OR ((triple1 ((triple1) -> rule2)) -> rule1))]