Bob is not furry. Fiona is quiet. Harry is smart. If someone is smart then they are red.
Fiona is not kind.
@0: Bob is not furry.[(triple1)] Fiona is quiet.[(triple2)] Harry is smart.[(triple3)] @1: Harry is red.[(((triple3) -> rule1))]