Anne is not green. Charlie is nice. Fiona is round. Harry is green. If someone is round then they are smart. All cold, round people are smart. All nice people are smart. Nice, green people are smart. Nice people are quiet. All blue, cold people are not green. If someone is green then they are nice. If someone is quiet then they are cold.
Fiona is cold.
@0: Anne is not green.[(triple1)] Charlie is nice.[(triple2)] Fiona is round.[(triple3)] Harry is green.[(triple4)] @1: Charlie is quiet.[(((triple2) -> rule5))] Charlie is smart.[(((triple2) -> rule3))] Fiona is smart.[(((triple3) -> rule1))] Harry is nice.[(((triple4) -> rule7))] @2: Charlie is cold.[(((((triple2) -> rule5)) -> rule8))] Harry is quiet.[(((((triple4) -> rule7)) -> rule5))] Harry is smart.[(((((triple4) -> rule7)) -> rule3) OR ((((triple4) -> rule7) triple4) -> rule4))] @3: Harry is cold.[(((((((triple4) -> rule7)) -> rule5)) -> rule8))]