Bob is smart. Fiona is white. Harry is rough. If something is quiet then it is white. Smart things are white. If Fiona is not big and Fiona is not nice then Fiona is white.
Harry is not white.
@0: Bob is smart.[(triple1)] Fiona is white.[(triple2)] Harry is rough.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))]