Bob is kind. Charlie is furry. Fiona is furry. Harry is round. If something is round then it is kind. All kind things are smart. All young, kind things are smart. Young things are not smart. If something is green then it is nice. Kind things are nice. All nice things are round. Smart things are not furry.
Fiona is not smart.
@0: Bob is kind.[(triple1)] Charlie is furry.[(triple2)] Fiona is furry.[(triple3)] Harry is round.[(triple4)] @1: Bob is nice.[(((triple1) -> rule6))] Bob is smart.[(((triple1) -> rule2))] Harry is kind.[(((triple4) -> rule1))] @2: Bob is not furry.[(((((triple1) -> rule2)) -> rule8))] Bob is round.[(((((triple1) -> rule6)) -> rule7))] Harry is nice.[(((((triple4) -> rule1)) -> rule6))] Harry is smart.[(((((triple4) -> rule1)) -> rule2))] @3: Harry is not furry.[(((((((triple4) -> rule1)) -> rule2)) -> rule8))]