Bob is white. Gary is rough. If someone is white then they are big. White people are kind. Round people are not kind. Round, kind people are furry. If someone is young and rough then they are furry. All rough people are round.
Bob is not furry.
@0: Bob is white.[(triple1)] Gary is rough.[(triple2)] @1: Bob is big.[(((triple1) -> rule1))] Bob is kind.[(((triple1) -> rule2))] Gary is round.[(((triple2) -> rule6))] @2: Gary is not kind.[(((((triple2) -> rule6)) -> rule3))]