Fiona is quiet. Fiona is rough. Fiona is young. Young, furry things are smart. If something is young then it is blue. Rough, furry things are green. All young things are quiet. All blue, green things are furry. All furry things are rough.
Fiona is young.
@0: Fiona is quiet.[(triple1 OR ((triple3) -> rule4))] Fiona is rough.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is blue.[(((triple3) -> rule2))]