Anne is red. Anne is not round. Bob is not cold. Bob is green. Fiona is big. Fiona is green. Fiona is round. Gary is blue. Gary is not cold. Gary is round. All round things are quiet. Blue things are quiet. All cold things are quiet. If Fiona is blue then Fiona is big. Red, round things are cold. Red things are cold. If something is blue and not round then it is cold. If Gary is not blue and Gary is not big then Gary is not green.
Anne is cold.
@0: Anne is not round.[(triple2)] Anne is red.[(triple1)] Bob is green.[(triple4)] Bob is not cold.[(triple3)] Fiona is big.[(triple5)] Fiona is green.[(triple6)] Fiona is round.[(triple7)] Gary is blue.[(triple8)] Gary is not cold.[(triple9)] Gary is round.[(triple10)] @1: Anne is cold.[(((triple1) -> rule6))] Fiona is quiet.[(((triple7) -> rule1))] Gary is quiet.[(((triple10) -> rule1) OR ((triple8) -> rule2))] @2: Anne is quiet.[(((((triple1) -> rule6)) -> rule3))]