Bob is quiet. Bob is round. Charlie is not big. Fiona is not red. Harry is kind. Harry is not quiet. Harry is red. Kind people are not quiet. If someone is big and cold then they are not kind. If someone is kind and not big then they are red.
Charlie is not big.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Charlie is not big.[(triple3)] Fiona is not red.[(triple4)] Harry is kind.[(triple5)] Harry is not quiet.[(triple6 OR ((triple5) -> rule1))] Harry is red.[(triple7)]