Bob is smart. Dave is round. Erin is round. Round people are red. If Erin is quiet and Erin is smart then Erin is furry. All nice people are rough.
Erin is red.
@0: Bob is smart.[(triple1)] Dave is round.[(triple2)] Erin is round.[(triple3)] @1: Dave is red.[(((triple2) -> rule1))] Erin is red.[(((triple3) -> rule1))]