Bob is kind. Fiona is kind. Fiona is rough. All quiet things are green. All kind things are quiet.
Bob is not rough.
@0: Bob is kind.[(triple1)] Fiona is kind.[(triple2)] Fiona is rough.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule2))] Fiona is quiet.[(((triple2) -> rule2))] @2: Bob is green.[(((((triple1) -> rule2)) -> rule1))] Fiona is green.[(((((triple2) -> rule2)) -> rule1))]