Charlie is blue. Charlie is quiet. Charlie is red. Charlie is white. Erin is red. Erin is not smart. Fiona is blue. Fiona is not kind. Fiona is quiet. Fiona is not red. Fiona is smart. Fiona is white. Fiona is young. Gary is quiet. Gary is smart. If Gary is not young then Gary is kind. If Fiona is young then Fiona is white. If Fiona is not young then Fiona is not red.
Fiona is smart.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Erin is not smart.[(triple6)] Erin is red.[(triple5)] Fiona is blue.[(triple7)] Fiona is not kind.[(triple8)] Fiona is not red.[(triple10)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple11)] Fiona is white.[(triple12 OR ((triple13) -> rule2))] Fiona is young.[(triple13)] Gary is quiet.[(triple14)] Gary is smart.[(triple15)]