Fiona is rough. Harry is nice. Harry is rough. If someone is rough then they are blue. If someone is big then they are furry. All blue, nice people are big.
Harry is not rough.
@0: Fiona is rough.[(triple1)] Harry is nice.[(triple2)] Harry is rough.[(triple3)] @1: Fiona is blue.[(((triple1) -> rule1))] Harry is blue.[(((triple3) -> rule1))] @2: Harry is big.[(((((triple3) -> rule1) triple2) -> rule3))] @3: Harry is furry.[(((((((triple3) -> rule1) triple2) -> rule3)) -> rule2))]