Erin is not big. Erin is not furry. Erin is green. Erin is quiet. Erin is not red. Erin is round. Erin is smart. Fiona is not furry. Fiona is green. Fiona is not quiet. Fiona is round. Fiona is not smart. If something is green and not furry then it is round. If Fiona is round and Fiona is not green then Fiona is quiet. If something is round and not quiet then it is red.
Fiona is not red.
@0: Erin is green.[(triple3)] Erin is not big.[(triple1)] Erin is not furry.[(triple2)] Erin is not red.[(triple5)] Erin is quiet.[(triple4)] Erin is round.[(triple6 OR ((triple3 triple2) -> rule1))] Erin is smart.[(triple7)] Fiona is green.[(triple9)] Fiona is not furry.[(triple8)] Fiona is not quiet.[(triple10)] Fiona is not smart.[(triple12)] Fiona is round.[(triple11 OR ((triple9 triple8) -> rule1))] @1: Fiona is red.[(((triple11 triple10) -> rule3) OR ((((triple9 triple8) -> rule1) triple10) -> rule3))]