Charlie is not furry. Charlie is kind. Charlie is not quiet. Charlie is not smart. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is not round. Erin is not smart. Fiona is not blue. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is smart. If someone is kind and not red then they are smart. If someone is furry then they are quiet.
Erin is blue.
@0: Charlie is kind.[(triple2)] Charlie is not furry.[(triple1)] Charlie is not quiet.[(triple3)] Charlie is not smart.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is not round.[(triple10)] Erin is not smart.[(triple11)] Erin is quiet.[(triple8 OR ((triple6) -> rule2))] Erin is red.[(triple9)] Fiona is furry.[(triple13)] Fiona is not blue.[(triple12)] Fiona is quiet.[(triple14 OR ((triple13) -> rule2))] Fiona is red.[(triple15)] Fiona is smart.[(triple16)]