Bob is furry. Bob is round. Charlie is red. Fiona is quiet. Fiona is red. Fiona is round. Gary is furry. Gary is not green. Gary is quiet. Gary is round. If Gary is white then Gary is quiet. If Fiona is quiet and Fiona is round then Fiona is not furry. All red things are quiet. If something is kind and furry then it is round. If Bob is green then Bob is furry. If something is quiet then it is white. If something is kind and furry then it is green. If something is furry and kind then it is red.
Bob is not quiet.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Charlie is red.[(triple3)] Fiona is quiet.[(triple4 OR ((triple5) -> rule3))] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Gary is furry.[(triple7)] Gary is not green.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Charlie is quiet.[(((triple3) -> rule3))] Fiona is not furry.[(((triple4 triple6) -> rule2) OR ((((triple5) -> rule3) triple6) -> rule2))] Fiona is white.[(((triple4) -> rule6) OR ((((triple5) -> rule3)) -> rule6))] Gary is white.[(((triple9) -> rule6))] @2: Charlie is white.[(((((triple3) -> rule3)) -> rule6))]