Bob is smart. Dave is round. Fiona is kind. Gary is rough. All smart people are round. All white people are smart. If someone is round and rough then they are smart. Round, rough people are white. If someone is smart and kind then they are white. All smart people are rough.
Dave is kind.
@0: Bob is smart.[(triple1)] Dave is round.[(triple2)] Fiona is kind.[(triple3)] Gary is rough.[(triple4)] @1: Bob is rough.[(((triple1) -> rule6))] Bob is round.[(((triple1) -> rule1))] @2: Bob is white.[(((((triple1) -> rule1) ((triple1) -> rule6)) -> rule4))]