Erin is big. Erin is round. Erin is young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is round. Harry is big. Harry is blue. Harry is kind. Harry is young. If someone is blue and cold then they are kind. Blue people are round. Cold people are round.
Harry is green.
@0: Erin is big.[(triple1)] Erin is round.[(triple2)] Erin is young.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7 OR ((triple4 triple5) -> rule1))] Fiona is round.[(triple8 OR ((triple4) -> rule2) OR ((triple5) -> rule3))] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Harry is round.[(((triple10) -> rule2))]