Charlie is red. Charlie is rough. Charlie is not smart. Charlie is white. Charlie is not young. Erin is blue. Erin is red. Erin is rough. Erin is white. Erin is young. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is white. If someone is young then they are rough. Rough, furry people are red. If someone is blue then they are white.
Fiona is not rough.
@0: Charlie is not smart.[(triple3)] Charlie is not young.[(triple5)] Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple4)] Erin is blue.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8 OR ((triple10) -> rule1))] Erin is white.[(triple9 OR ((triple6) -> rule3))] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is furry.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15 OR ((triple11) -> rule3))] @1: Fiona is red.[(((triple13 triple12) -> rule2))]