Charlie is blue. Charlie is rough. Charlie is not young. Erin is not big. Erin is blue. Erin is not quiet. Erin is not red. Erin is not rough. Erin is young. Fiona is big. Fiona is blue. Fiona is not kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. If someone is red and not rough then they are not blue. Red people are young. Quiet people are big. If someone is kind and red then they are not big. Kind people are not quiet. If someone is big and not young then they are not quiet.
Erin is red.
@0: Charlie is blue.[(triple1)] Charlie is not young.[(triple3)] Charlie is rough.[(triple2)] Erin is blue.[(triple5)] Erin is not big.[(triple4)] Erin is not quiet.[(triple6)] Erin is not red.[(triple7)] Erin is not rough.[(triple8)] Erin is young.[(triple9)] Fiona is big.[(triple10 OR ((triple13) -> rule3))] Fiona is blue.[(triple11)] Fiona is not kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is young.[(triple16 OR ((triple14) -> rule2))]