Bob is furry. Bob is nice. Bob is quiet. Bob is young. Fiona is smart. Fiona is young. Harry is quiet. If something is young and cold then it is smart. If something is quiet then it is furry. All smart, furry things are nice. If something is smart and nice then it is quiet. If Fiona is young and Fiona is quiet then Fiona is nice. Smart, cold things are quiet. If Fiona is round then Fiona is smart. Smart things are young.
Bob is young.
@0: Bob is furry.[(triple1 OR ((triple3) -> rule2))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6 OR ((triple5) -> rule8))] Harry is quiet.[(triple7)] @1: Harry is furry.[(((triple7) -> rule2))]