Erin is red. Gary is red. Harry is round. All furry, blue people are not young. If someone is young then they are not rough. Blue, round people are nice. Red people are nice. Furry people are nice. If someone is blue and not rough then they are nice.
Gary is furry.
@0: Erin is red.[(triple1)] Gary is red.[(triple2)] Harry is round.[(triple3)] @1: Erin is nice.[(((triple1) -> rule4))] Gary is nice.[(((triple2) -> rule4))]