Anne is blue. Anne is kind. Dave is green. Dave is kind. Dave is rough. Fiona is rough. Harry is furry. If something is smart and kind then it is furry. All blue things are smart. If Anne is furry then Anne is big.
Harry is rough.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5)] Fiona is rough.[(triple6)] Harry is furry.[(triple7)] @1: Anne is smart.[(((triple1) -> rule2))] @2: Anne is furry.[(((((triple1) -> rule2) triple2) -> rule1))] @3: Anne is big.[(((((((triple1) -> rule2) triple2) -> rule1)) -> rule3))]