Erin is blue. Fiona is blue. Harry is cold. All cold people are red. If someone is kind and big then they are red. Cold people are red. If someone is round then they are big. If someone is nice then they are round. If someone is red then they are round.
Harry is not red.
@0: Erin is blue.[(triple1)] Fiona is blue.[(triple2)] Harry is cold.[(triple3)] @1: Harry is red.[(((triple3) -> rule1) OR ((triple3) -> rule3))] @2: Harry is round.[(((((triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] @3: Harry is big.[(((((((triple3) -> rule1)) -> rule6)) -> rule4) OR ((((((triple3) -> rule3)) -> rule6)) -> rule4))]