Anne is blue. Bob is not blue. Gary is blue. If someone is rough then they are big. All furry, kind people are big. Furry people are big. Green people are rough. Blue, quiet people are not furry. If Gary is quiet then Gary is rough.
Bob is not big.
@0: Anne is blue.[(triple1)] Bob is not blue.[(triple2)] Gary is blue.[(triple3)]