Erin is big. Erin is blue. Erin is green. Erin is quiet. Erin is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is young. Harry is cold. Harry is green. Harry is red. Harry is young. If Fiona is big then Fiona is young.
Fiona is quiet.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is young.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is quiet.[(triple10)] Fiona is young.[(triple11 OR ((triple6) -> rule1))] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)]