Anne is furry. Charlie is round. Fiona is kind. Round people are smart. Round, kind people are not smart. If someone is red and not round then they are rough. All kind, round people are not rough. If Charlie is not round then Charlie is young. Red people are young. All round, smart people are not young. If Anne is kind and Anne is not rough then Anne is smart.
Fiona is round.
@0: Anne is furry.[(triple1)] Charlie is round.[(triple2)] Fiona is kind.[(triple3)] @1: Charlie is smart.[(((triple2) -> rule1))] @2: Charlie is not young.[(((triple2 ((triple2) -> rule1)) -> rule7))]