Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is white. Fiona is kind. Fiona is nice. Fiona is white. Harry is furry. Harry is green. Harry is kind. Harry is nice. Kind, nice people are quiet.
Harry is furry.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is white.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] @1: Fiona is quiet.[(((triple6 triple7) -> rule1))] Harry is quiet.[(((triple11 triple12) -> rule1))]