Charlie is kind. Charlie is not round. Erin is big. Erin is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Harry is big. Harry is quiet. Blue people are big. All kind, quiet people are big. All round people are not cold. If someone is quiet and not blue then they are not cold. If someone is blue and not kind then they are not cold. If someone is blue then they are quiet.
Charlie is not quiet.
@0: Charlie is kind.[(triple1)] Charlie is not round.[(triple2)] Erin is big.[(triple3)] Erin is round.[(triple4)] Fiona is big.[(triple5 OR ((triple6) -> rule1))] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is quiet.[(triple8 OR ((triple6) -> rule6))] Harry is big.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is not cold.[(((triple4) -> rule3))]