Charlie is not furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is red. Dave is young. Erin is furry. Erin is quiet. Erin is red. Erin is rough. Erin is young. Fiona is quiet. Fiona is not red. All smart things are young. If Dave is furry then Dave is not quiet. If something is white and quiet then it is rough. White things are smart. If Fiona is furry and Fiona is smart then Fiona is not young. If Erin is not red then Erin is white.
Fiona is not red.
@0: Charlie is not furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple6 triple2) -> rule3))] Charlie is smart.[(triple5 OR ((triple6) -> rule4))] Charlie is white.[(triple6)] Dave is red.[(triple7)] Dave is young.[(triple8)] Erin is furry.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is young.[(triple13)] Fiona is not red.[(triple15)] Fiona is quiet.[(triple14)] @1: Charlie is young.[(((triple5) -> rule1) OR ((((triple6) -> rule4)) -> rule1))]