Bob is kind. Fiona is quiet. If someone is young and round then they are smart. Kind people are furry. If someone is furry and young then they are round. All quiet people are smart. If someone is furry then they are kind. If Bob is furry and Bob is round then Bob is quiet. Kind people are round. If someone is kind and young then they are quiet.
Fiona is not smart.
@0: Bob is kind.[(triple1)] Fiona is quiet.[(triple2)] @1: Bob is furry.[(((triple1) -> rule2))] Bob is round.[(((triple1) -> rule7))] Fiona is smart.[(((triple2) -> rule4))] @2: Bob is quiet.[(((((triple1) -> rule2) ((triple1) -> rule7)) -> rule6))] @3: Bob is smart.[(((((((triple1) -> rule2) ((triple1) -> rule7)) -> rule6)) -> rule4))]