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