Erin is kind. Erin is red. Fiona is big. Fiona is cold. Fiona is round. Gary is kind. Gary is quiet. Gary is red. Gary is round. Harry is kind. Harry is nice. Harry is red. Cold, big things are nice. Quiet, kind things are red.
Harry is round.
@0: Erin is kind.[(triple1)] Erin is red.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4)] Fiona is round.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8 OR ((triple7 triple6) -> rule2))] Gary is round.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12)] @1: Fiona is nice.[(((triple4 triple3) -> rule1))]