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.
Fiona is quiet.
@0: Bob is smart.[(triple1)] Fiona is white.[(triple2)] Harry is rough.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))]