Anne is blue. Anne is not cold. Anne is furry. Anne is green. Anne is nice. Charlie is not blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Fiona is furry. Fiona is not green. Fiona is round. Gary is blue. Gary is not cold. Gary is quiet. If Fiona is furry then Fiona is quiet. If something is quiet then it is nice. Green, cold things are nice. If something is cold then it is nice. Furry things are quiet. If Charlie is round and Charlie is blue then Charlie is furry.
Charlie is cold.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5 OR ((((triple3) -> rule5)) -> rule2))] Anne is not cold.[(triple2)] Charlie is green.[(triple7)] Charlie is nice.[(triple8 OR ((triple9) -> rule2))] Charlie is not blue.[(triple6)] Charlie is quiet.[(triple9)] Charlie is round.[(triple10)] Fiona is furry.[(triple11)] Fiona is not green.[(triple12)] Fiona is round.[(triple13)] Gary is blue.[(triple14)] Gary is not cold.[(triple15)] Gary is quiet.[(triple16)] @1: Anne is quiet.[(((triple3) -> rule5))] Fiona is quiet.[(((triple11) -> rule1) OR ((triple11) -> rule5))] Gary is nice.[(((triple16) -> rule2))] @2: Fiona is nice.[(((((triple11) -> rule1)) -> rule2) OR ((((triple11) -> rule5)) -> rule2))]