Dave is red. Dave is white. Erin is quiet. Fiona is blue. Fiona is not quiet. Fiona is red. Fiona is round. Fiona is white. Gary is big. Gary is not cold. Gary is not red. Gary is round. If Gary is round then Gary is white. Quiet things are big. If something is red and not white then it is not quiet. If something is blue and not cold then it is quiet. Red things are not quiet. If something is cold and not white then it is blue.
Dave is not blue.
@0: Dave is red.[(triple1)] Dave is white.[(triple2)] Erin is quiet.[(triple3)] Fiona is blue.[(triple4)] Fiona is not quiet.[(triple5 OR ((triple6) -> rule5))] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8)] Gary is big.[(triple9)] Gary is not cold.[(triple10)] Gary is not red.[(triple11)] Gary is round.[(triple12)] @1: Dave is not quiet.[(((triple1) -> rule5))] Erin is big.[(((triple3) -> rule2))] Gary is white.[(((triple12) -> rule1))]