Bob is nice. Bob is quiet. Bob is round. Charlie is cold. Charlie is kind. Charlie is white. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is round. Gary is quiet. Gary is white. If someone is round then they are quiet. If someone is white and quiet then they are cold.
Charlie is not quiet.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2 OR ((triple3) -> rule1))] Bob is round.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9 OR ((triple10) -> rule1))] Fiona is round.[(triple10)] Gary is quiet.[(triple11)] Gary is white.[(triple12)] @1: Gary is cold.[(((triple12 triple11) -> rule2))]