Bob is quiet. Charlie is round. Fiona is smart. Harry is rough. Round things are rough. If something is rough and green then it is smart. If something is nice then it is young. All smart, green things are rough. Nice, green things are smart. If Harry is quiet and Harry is round then Harry is nice. All quiet things are round. If something is round then it is smart.
Bob is not quiet.
@0: Bob is quiet.[(triple1)] Charlie is round.[(triple2)] Fiona is smart.[(triple3)] Harry is rough.[(triple4)] @1: Bob is round.[(((triple1) -> rule7))] Charlie is rough.[(((triple2) -> rule1))] Charlie is smart.[(((triple2) -> rule8))] @2: Bob is rough.[(((((triple1) -> rule7)) -> rule1))] Bob is smart.[(((((triple1) -> rule7)) -> rule8))]