Bob is blue. Erin is furry. Harry is quiet. If something is green and furry then it is blue. Blue, kind things are quiet. If something is furry and green then it is red. If something is kind then it is green. All furry, green things are quiet. All smart things are blue.
Harry is quiet.
@0: Bob is blue.[(triple1)] Erin is furry.[(triple2)] Harry is quiet.[(triple3)]