Bob is green. Bob is round. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is not red. Charlie is round. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is round. Gary is quiet. Gary is not red. Gary is rough. Gary is round. If someone is rough and quiet then they are not red. If someone is furry then they are not red.
Bob is round.
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is not red.[(triple7 OR ((triple4) -> rule2))] Charlie is quiet.[(triple6)] Charlie is round.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Gary is not red.[(triple14 OR ((triple15 triple13) -> rule1))] Gary is quiet.[(triple13)] Gary is rough.[(triple15)] Gary is round.[(triple16)] @1: Fiona is not red.[(((triple9) -> rule2))]