Erin is big. Erin is cold. Erin is white. Fiona is kind. Fiona is young. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is young. If something is cold then it is big.
Erin is nice.
@0: Erin is big.[(triple1 OR ((triple2) -> rule1))] Erin is cold.[(triple2)] Erin is white.[(triple3)] Fiona is kind.[(triple4)] Fiona is young.[(triple5)] Harry is big.[(triple6 OR ((triple7) -> rule1))] Harry is cold.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is young.[(triple10)]