Bob is furry. Charlie is furry. Fiona is round. Harry is rough. If someone is white and nice then they are smart. Furry people are smart. All white, rough people are smart.
Charlie is nice.
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2)] Fiona is round.[(triple3)] Harry is rough.[(triple4)] @1: Bob is smart.[(((triple1) -> rule2))] Charlie is smart.[(((triple2) -> rule2))]