Charlie is big. Charlie is blue. Charlie is kind. Charlie is not nice. Charlie is quiet. Charlie is red. Charlie is not rough. Fiona is blue. Fiona is kind. Fiona is nice. If someone is big and not quiet then they are rough. If Fiona is big and Fiona is nice then Fiona is rough. If someone is nice then they are kind.
Charlie is not nice.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is not nice.[(triple4)] Charlie is not rough.[(triple7)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule3))] Fiona is nice.[(triple10)]