Erin is big. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is young. Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Harry is rough. Harry is round. All young people are round. All red people are round.
Harry is not nice.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule2) OR ((triple7) -> rule1))] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13 OR ((triple11) -> rule2) OR ((triple14) -> rule1))] Fiona is young.[(triple14)] Harry is rough.[(triple15)] Harry is round.[(triple16)]