Fiona is green. Gary is nice. Harry is green. If Harry is quiet and Harry is round then Harry is kind. If Fiona is round then Fiona is white. If someone is big and green then they are white. If Fiona is kind and Fiona is nice then Fiona is quiet. All big people are green. If Gary is kind then Gary is quiet. All green people are kind. If someone is nice and big then they are quiet.
Harry is green.
@0: Fiona is green.[(triple1)] Gary is nice.[(triple2)] Harry is green.[(triple3)] @1: Fiona is kind.[(((triple1) -> rule7))] Harry is kind.[(((triple3) -> rule7))]