Fiona is green. Fiona is kind. Gary is smart. If someone is smart then they are green. All green, kind people are furry. If Gary is furry and Gary is round then Gary is green. If someone is kind then they are quiet. Round, furry people are green. If Gary is quiet and Gary is blue then Gary is round.
Fiona is green.
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2)] Gary is smart.[(triple3)] @1: Fiona is furry.[(((triple1 triple2) -> rule2))] Fiona is quiet.[(((triple2) -> rule4))] Gary is green.[(((triple3) -> rule1))]