Charlie is young. Fiona is big. Harry is big. If Charlie is smart then Charlie is big. If Fiona is young then Fiona is rough. If something is young then it is smart. If Harry is smart then Harry is not young. Big things are not round. If Fiona is not rough then Fiona is smart.
Harry is smart.
@0: Charlie is young.[(triple1)] Fiona is big.[(triple2)] Harry is big.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule3))] Fiona is not round.[(((triple2) -> rule5))] Harry is not round.[(((triple3) -> rule5))] @2: Charlie is big.[(((((triple1) -> rule3)) -> rule1))] @3: Charlie is not round.[(((((((triple1) -> rule3)) -> rule1)) -> rule5))]