Erin is cold. Erin is young. Fiona is young. Gary is cold. Gary is green. Gary is quiet. Gary is round. Harry is green. Harry is red. Harry is round. Cold people are not red. Green, young people are red. If Gary is young then Gary is cold. If Harry is quiet then Harry is not cold. All young, red people are cold. Young people are smart. All cold people are quiet. If Gary is not quiet then Gary is smart.
Harry is red.
@0: Erin is cold.[(triple1)] Erin is young.[(triple2)] Fiona is young.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6 OR ((triple4) -> rule7))] Gary is round.[(triple7)] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] @1: Erin is not red.[(((triple1) -> rule1))] Erin is quiet.[(((triple1) -> rule7))] Erin is smart.[(((triple2) -> rule6))] Fiona is smart.[(((triple3) -> rule6))] Gary is not red.[(((triple4) -> rule1))]