Anne is blue. Anne is green. Anne is round. Anne is not smart. Erin is blue. Erin is furry. Erin is not quiet. Erin is round. Erin is smart. Fiona is not blue. Fiona is furry. Fiona is green. Harry is blue. Harry is furry. Harry is green. Harry is nice. All smart, quiet people are furry. If someone is blue then they are furry. If Erin is quiet then Erin is blue. If someone is quiet and blue then they are smart. All quiet, green people are smart. If someone is green and smart then they are blue.
Erin is nice.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is not smart.[(triple4)] Anne is round.[(triple3)] Erin is blue.[(triple5)] Erin is furry.[(triple6 OR ((triple5) -> rule2))] Erin is not quiet.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is not blue.[(triple10)] Harry is blue.[(triple13)] Harry is furry.[(triple14 OR ((triple13) -> rule2))] Harry is green.[(triple15)] Harry is nice.[(triple16)] @1: Anne is furry.[(((triple1) -> rule2))]