Bob is rough. Erin is rough. Harry is young. All nice things are smart. Rough things are smart. All young things are white. Smart, young things are not furry. If something is nice and not young then it is furry. If something is smart and cold then it is not rough. All furry, smart things are nice. If Harry is white and Harry is not cold then Harry is rough.
Harry is not nice.
@0: Bob is rough.[(triple1)] Erin is rough.[(triple2)] Harry is young.[(triple3)] @1: Bob is smart.[(((triple1) -> rule2))] Erin is smart.[(((triple2) -> rule2))] Harry is white.[(((triple3) -> rule3))]