Bob is furry. Charlie is not quiet. Fiona is green. All kind, young people are rough. If someone is quiet and green then they are rough. All round people are rough. All rough, kind people are quiet. If someone is furry then they are quiet. Furry, round people are young. Young, round people are furry. If someone is quiet then they are round.
Charlie is not quiet.
@0: Bob is furry.[(triple1)] Charlie is not quiet.[(triple2)] Fiona is green.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule5))] @2: Bob is round.[(((((triple1) -> rule5)) -> rule8))] @3: Bob is rough.[(((((((triple1) -> rule5)) -> rule8)) -> rule3))] Bob is young.[(((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule6))]