Bob is red. Erin is kind. Gary is white. Harry is young. All big, young people are red. If someone is nice then they are kind. All red people are furry. If someone is white then they are kind. Young, red people are big. Kind people are furry.
Gary is not furry.
@0: Bob is red.[(triple1)] Erin is kind.[(triple2)] Gary is white.[(triple3)] Harry is young.[(triple4)] @1: Bob is furry.[(((triple1) -> rule3))] Erin is furry.[(((triple2) -> rule6))] Gary is kind.[(((triple3) -> rule4))] @2: Gary is furry.[(((((triple3) -> rule4)) -> rule6))]