The cat is big. If the cat is red and the cat is blue then the cat is big. All cold, blue people are nice. If someone is cold and big then they are red. If someone is blue then they are nice. If the cat is nice and the cat is cold then the cat is red. Big people are cold. All red, nice people are cold. Red people are blue.
The cat is blue.
@0: The cat is big.[(triple1)] @1: The cat is cold.[(((triple1) -> rule6))] @2: The cat is red.[(((((triple1) -> rule6) triple1) -> rule3))] @3: The cat is blue.[(((((((triple1) -> rule6) triple1) -> rule3)) -> rule8))] @4: The cat is nice.[(((((((((triple1) -> rule6) triple1) -> rule3)) -> rule8)) -> rule4) OR ((((triple1) -> rule6) ((((((triple1) -> rule6) triple1) -> rule3)) -> rule8)) -> rule2))]