Anne is red. Fiona is green. Fiona is nice. Fiona is quiet. Gary is not blue. Gary is green. Gary is red. All red, quiet people are nice. If someone is furry then they are not nice. If someone is nice and red then they are not smart. If someone is red and not blue then they are quiet. All green, furry people are quiet. If someone is nice and smart then they are red.
Gary is not smart.
@0: Anne is red.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4)] Gary is green.[(triple6)] Gary is not blue.[(triple5)] Gary is red.[(triple7)] @1: Gary is quiet.[(((triple7 triple5) -> rule4))] @2: Gary is nice.[(((triple7 ((triple7 triple5) -> rule4)) -> rule1))] @3: Gary is not smart.[(((((triple7 ((triple7 triple5) -> rule4)) -> rule1) triple7) -> rule3))]