Bob is furry. Charlie is big. Harry is not quiet. If someone is young and furry then they are rough. Round people are rough. If someone is big then they are not green. Green people are furry. If someone is round and not quiet then they are not big. If someone is furry then they are round.
Charlie is furry.
@0: Bob is furry.[(triple1)] Charlie is big.[(triple2)] Harry is not quiet.[(triple3)] @1: Bob is round.[(((triple1) -> rule6))] Charlie is not green.[(((triple2) -> rule3))] @2: Bob is rough.[(((((triple1) -> rule6)) -> rule2))]