Anne is big. Bob is big. Bob is green. Fiona is green. Fiona is smart. Gary is blue. Gary is green. If someone is cold then they are smart. If someone is furry and blue then they are cold. If someone is big and red then they are smart. All furry, green people are blue. If someone is green and cold then they are blue. If someone is blue and big then they are green.
Bob is furry.
@0: Anne is big.[(triple1)] Bob is big.[(triple2)] Bob is green.[(triple3)] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)]