Fiona is kind. Gary is round. Harry is quiet. If something is kind and quiet then it is red. If something is furry then it is round. All round things are red. If something is kind then it is red. If something is furry and round then it is red. Young things are quiet. Round, furry things are young. All round things are quiet.
Gary is round.
@0: Fiona is kind.[(triple1)] Gary is round.[(triple2)] Harry is quiet.[(triple3)] @1: Fiona is red.[(((triple1) -> rule4))] Gary is quiet.[(((triple2) -> rule8))] Gary is red.[(((triple2) -> rule3))]