Charlie is big. Fiona is big. Harry is smart. If someone is big then they are smart. If Fiona is young then Fiona is nice.
Harry is not smart.
@0: Charlie is big.[(triple1)] Fiona is big.[(triple2)] Harry is smart.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule1))] Fiona is smart.[(((triple2) -> rule1))]