Bob is young. Erin is nice. Erin is quiet. Fiona is green. Fiona is smart. Harry is quiet. Harry is young. If something is green then it is nice. If Harry is young and Harry is rough then Harry is green. Smart things are rough.
Harry is young.
@0: Bob is young.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Fiona is nice.[(((triple4) -> rule1))] Fiona is rough.[(((triple5) -> rule3))]