Bob is red. Gary is round. If Bob is young then Bob is big. Smart things are kind. All young, round things are smart. Kind, round things are blue. Blue, young things are kind. All big, kind things are round. If something is round then it is smart. All smart, blue things are red.
Gary is not big.
@0: Bob is red.[(triple1)] Gary is round.[(triple2)] @1: Gary is smart.[(((triple2) -> rule7))] @2: Gary is kind.[(((((triple2) -> rule7)) -> rule2))] @3: Gary is blue.[(((((((triple2) -> rule7)) -> rule2) triple2) -> rule4))] @4: Gary is red.[(((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule2) triple2) -> rule4)) -> rule8))]