Bob is round. Charlie is furry. Erin is smart. Fiona is round. All round things are furry. If Bob is quiet and Bob is nice then Bob is furry. Nice things are round. All nice, quiet things are round. Round things are kind. Nice, kind things are furry. If something is furry then it is quiet. If something is white then it is kind.
Erin is not furry.
@0: Bob is round.[(triple1)] Charlie is furry.[(triple2)] Erin is smart.[(triple3)] Fiona is round.[(triple4)] @1: Bob is furry.[(((triple1) -> rule1))] Bob is kind.[(((triple1) -> rule5))] Charlie is quiet.[(((triple2) -> rule7))] Fiona is furry.[(((triple4) -> rule1))] Fiona is kind.[(((triple4) -> rule5))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule7))] Fiona is quiet.[(((((triple4) -> rule1)) -> rule7))]