Bob is not big. Bob is quiet. Bob is not white. Charlie is big. Charlie is cold. Charlie is nice. Charlie is not quiet. Charlie is not round. Charlie is white. Charlie is young. Fiona is not cold. Fiona is not quiet. Fiona is not round. Harry is not big. Harry is round. Harry is young. If Fiona is big then Fiona is white. If Bob is big then Bob is quiet. If Harry is quiet then Harry is big. If someone is young then they are nice. If Harry is not white then Harry is not quiet. All white people are not round.
Bob is not quiet.
@0: Bob is not big.[(triple1)] Bob is not white.[(triple3)] Bob is quiet.[(triple2)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is nice.[(triple6 OR ((triple10) -> rule4))] Charlie is not quiet.[(triple7)] Charlie is not round.[(triple8 OR ((triple9) -> rule6))] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Fiona is not cold.[(triple11)] Fiona is not quiet.[(triple12)] Fiona is not round.[(triple13)] Harry is not big.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Harry is nice.[(((triple16) -> rule4))]