Anne is not red. Bob is quiet. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. If someone is quiet and white then they are rough. Rough people are red. All quiet people are red. Rough people are furry. If someone is red then they are green. If someone is white and not furry then they are green.
Anne is not rough.
@0: Anne is not red.[(triple1)] Bob is quiet.[(triple2)] Gary is green.[(triple3 OR ((triple6) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6 OR ((triple5) -> rule3) OR ((triple7) -> rule2))] Gary is rough.[(triple7)] @1: Bob is red.[(((triple2) -> rule3))] Gary is furry.[(((triple7) -> rule4))] @2: Bob is green.[(((((triple2) -> rule3)) -> rule5))]