Bob is blue. Bob is not green. Erin is not blue. Erin is cold. Erin is not quiet. Fiona is not green. Fiona is quiet. Harry is cold. Harry is red. Harry is young. If something is quiet and not red then it is young. If something is cold and not rough then it is not young. Red things are young. Red things are cold. Rough things are not blue. If Harry is blue and Harry is young then Harry is cold. If Erin is rough then Erin is not young. If something is cold and not blue then it is green.
Harry is red.
@0: Bob is blue.[(triple1)] Bob is not green.[(triple2)] Erin is cold.[(triple4)] Erin is not blue.[(triple3)] Erin is not quiet.[(triple5)] Fiona is not green.[(triple6)] Fiona is quiet.[(triple7)] Harry is cold.[(triple8 OR ((triple9) -> rule4))] Harry is red.[(triple9)] Harry is young.[(triple10 OR ((triple9) -> rule3))] @1: Erin is green.[(((triple4 triple3) -> rule8))]