Erin is not blue. Fiona is blue. Fiona is furry. Fiona is quiet. Gary is furry. Gary is round. Gary is smart. If Fiona is not quiet then Fiona is green. All quiet, green things are rough. If something is round and not quiet then it is not rough. All rough things are round. Furry, blue things are not round. Furry, quiet things are blue. If something is round and not green then it is not smart. Rough, blue things are smart.
Erin is green.
@0: Erin is not blue.[(triple1)] Fiona is blue.[(triple2 OR ((triple3 triple4) -> rule6))] Fiona is furry.[(triple3)] Fiona is quiet.[(triple4)] Gary is furry.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is not round.[(((triple3 triple2) -> rule5) OR ((triple3 ((triple3 triple4) -> rule6)) -> rule5))]