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