Bob is round. Charlie is red. Erin is young. Harry is green. If someone is round and cold then they are blue. If Harry is green then Harry is young. All kind people are young. Green people are blue. If Harry is blue then Harry is cold. All round, young people are cold. If Bob is young and Bob is green then Bob is red. If Charlie is kind then Charlie is cold.
Harry is red.
@0: Bob is round.[(triple1)] Charlie is red.[(triple2)] Erin is young.[(triple3)] Harry is green.[(triple4)] @1: Harry is blue.[(((triple4) -> rule4))] Harry is young.[(((triple4) -> rule2))] @2: Harry is cold.[(((((triple4) -> rule4)) -> rule5))]