Bob is blue. Dave is blue. Erin is round. Fiona is rough. Blue people are rough. Smart, blue people are round.
Fiona is kind.
@0: Bob is blue.[(triple1)] Dave is blue.[(triple2)] Erin is round.[(triple3)] Fiona is rough.[(triple4)] @1: Bob is rough.[(((triple1) -> rule1))] Dave is rough.[(((triple2) -> rule1))]