Charlie is quiet. Fiona is furry. Fiona is kind. All nice things are kind. If something is quiet then it is smart. All rough things are kind. If something is smart and kind then it is nice. All rough, quiet things are smart. If something is furry and kind then it is nice. Big things are furry. Smart, rough things are kind.
Fiona is rough.
@0: Charlie is quiet.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule2))] Fiona is nice.[(((triple2 triple3) -> rule6))]