Bob is young. Dave is white. Gary is nice. If something is smart and young then it is nice. All red, nice things are blue. All white things are young. Nice things are smart. Nice things are young. If something is quiet then it is red. All smart, white things are young. If Bob is smart then Bob is young.
Bob is not nice.
@0: Bob is young.[(triple1)] Dave is white.[(triple2)] Gary is nice.[(triple3)] @1: Dave is young.[(((triple2) -> rule3))] Gary is smart.[(((triple3) -> rule4))] Gary is young.[(((triple3) -> rule5))]