Bob is not kind. Bob is nice. Bob is quiet. Charlie is not blue. Charlie is not kind. Charlie is nice. Charlie is not quiet. Charlie is red. Charlie is round. Charlie is young. Fiona is quiet. Harry is not nice. Harry is quiet. Harry is red. Harry is young. If Fiona is quiet then Fiona is red. All round, quiet people are kind.
Charlie is blue.
@0: Bob is nice.[(triple2)] Bob is not kind.[(triple1)] Bob is quiet.[(triple3)] Charlie is nice.[(triple6)] Charlie is not blue.[(triple4)] Charlie is not kind.[(triple5)] Charlie is not quiet.[(triple7)] Charlie is red.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Fiona is quiet.[(triple11)] Harry is not nice.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Fiona is red.[(((triple11) -> rule1))]