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