Erin is big. Erin is cold. Erin is green. Erin is nice. Erin is rough. Erin is round. Erin is white. Fiona is big. Fiona is rough. Harry is big. Harry is green. Harry is white. All big people are white. All nice people are white.
Fiona is round.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple1) -> rule1) OR ((triple4) -> rule2))] Fiona is big.[(triple8)] Fiona is rough.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule1))] @1: Fiona is white.[(((triple8) -> rule1))]