Anne is furry. Bob is round. Fiona is smart. Smart, round people are furry. If someone is cold and round then they are smart. If Anne is smart then Anne is round. If someone is round then they are smart. Round, kind people are rough. Round, furry people are kind.
Anne is not round.
@0: Anne is furry.[(triple1)] Bob is round.[(triple2)] Fiona is smart.[(triple3)] @1: Bob is smart.[(((triple2) -> rule4))] @2: Bob is furry.[(((((triple2) -> rule4) triple2) -> rule1))] @3: Bob is kind.[(((triple2 ((((triple2) -> rule4) triple2) -> rule1)) -> rule6))] @4: Bob is rough.[(((triple2 ((triple2 ((((triple2) -> rule4) triple2) -> rule1)) -> rule6)) -> rule5))]