Anne is white. Dave is cold. Erin is round. Harry is blue. Harry is cold. Harry is white. Harry is young. If someone is kind and young then they are red. If Dave is round and Dave is cold then Dave is white. If someone is young then they are red. Kind people are blue. Blue people are kind. If Erin is kind then Erin is white.
Dave is young.
@0: Anne is white.[(triple1)] Dave is cold.[(triple2)] Erin is round.[(triple3)] Harry is blue.[(triple4)] Harry is cold.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Harry is kind.[(((triple4) -> rule5))] Harry is red.[(((triple7) -> rule3) OR ((((triple4) -> rule5) triple7) -> rule1))]