Bob is red. Charlie is not green. Fiona is red. Harry is round. All red people are cold. Quiet, cold people are not red. If Charlie is green then Charlie is quiet. If Fiona is round then Fiona is green. If Harry is not green and Harry is not red then Harry is round. If someone is nice then they are round. All cold people are round. If someone is red and not quiet then they are round.
Fiona is cold.
@0: Bob is red.[(triple1)] Charlie is not green.[(triple2)] Fiona is red.[(triple3)] Harry is round.[(triple4)] @1: Bob is cold.[(((triple1) -> rule1))] Fiona is cold.[(((triple3) -> rule1))] @2: Bob is round.[(((((triple1) -> rule1)) -> rule7))] Fiona is round.[(((((triple3) -> rule1)) -> rule7))] @3: Fiona is green.[(((((((triple3) -> rule1)) -> rule7)) -> rule4))]