Charlie is blue. Charlie is furry. Charlie is not quiet. Charlie is not round. Charlie is not white. Dave is furry. Dave is not round. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is smart. Gary is quiet. Gary is red. Gary is smart. Gary is white. All quiet people are blue. If someone is quiet then they are blue. If someone is blue and not white then they are not smart. If someone is furry then they are not smart. If Fiona is furry and Fiona is quiet then Fiona is smart. All round people are not furry. If Dave is round then Dave is quiet. If Dave is furry then Dave is quiet.
Gary is not furry.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not round.[(triple4)] Charlie is not white.[(triple5)] Dave is furry.[(triple6)] Dave is not round.[(triple7)] Fiona is blue.[(triple8 OR ((triple9) -> rule1) OR ((triple9) -> rule2))] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Charlie is not smart.[(((triple2) -> rule4) OR ((triple1 triple5) -> rule3))] Dave is not smart.[(((triple6) -> rule4))] Dave is quiet.[(((triple6) -> rule8))] Gary is blue.[(((triple12) -> rule1) OR ((triple12) -> rule2))] @2: Dave is blue.[(((((triple6) -> rule8)) -> rule1) OR ((((triple6) -> rule8)) -> rule2))]