Fiona is big. Fiona is blue. Fiona is rough. Fiona is round. Harry is blue. Harry is kind. Harry is quiet. If something is kind then it is round.
Harry is not round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is rough.[(triple3)] Fiona is round.[(triple4)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is quiet.[(triple7)] @1: Harry is round.[(((triple6) -> rule1))]