Bob is blue. Bob is furry. Bob is rough. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. If something is green then it is white. All kind things are quiet. All blue, kind things are rough.
Fiona is not white.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] @1: Fiona is white.[(((triple5) -> rule1))]