Bob is not young. Erin is furry. Gary is not rough. If Erin is rough and Erin is not white then Erin is nice. If Erin is red and Erin is white then Erin is not nice. If Bob is young then Bob is nice. If someone is nice then they are not red. All furry people are red. All rough people are red.
Erin is not furry.
@0: Bob is not young.[(triple1)] Erin is furry.[(triple2)] Gary is not rough.[(triple3)] @1: Erin is red.[(((triple2) -> rule5))]