Charlie is cold. Charlie is red. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is smart. Erin is young. Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Fiona is not smart. Fiona is young. If someone is smart and kind then they are rough.
Charlie is big.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6 OR ((triple7 triple4) -> rule1))] Erin is smart.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9)] Fiona is cold.[(triple10)] Fiona is kind.[(triple11)] Fiona is not smart.[(triple14)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is young.[(triple15)]