Bob is kind. Charlie is smart. If something is quiet then it is round. If something is furry then it is cold. If something is round then it is furry. All furry, smart things are rough. All furry, kind things are quiet. If something is furry and rough then it is round. Kind things are quiet. If something is smart then it is furry.
Charlie is not quiet.
@0: Bob is kind.[(triple1)] Charlie is smart.[(triple2)] @1: Bob is quiet.[(((triple1) -> rule7))] Charlie is furry.[(((triple2) -> rule8))] @2: Bob is round.[(((((triple1) -> rule7)) -> rule1))] Charlie is cold.[(((((triple2) -> rule8)) -> rule2))] Charlie is rough.[(((((triple2) -> rule8) triple2) -> rule4))] @3: Bob is furry.[(((((((triple1) -> rule7)) -> rule1)) -> rule3))] Charlie is round.[(((((triple2) -> rule8) ((((triple2) -> rule8) triple2) -> rule4)) -> rule6))] @4: Bob is cold.[(((((((((triple1) -> rule7)) -> rule1)) -> rule3)) -> rule2))]