Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is round. Bob is cold. Bob is red. Charlie is nice. Charlie is red. Charlie is white. Charlie is young. Erin is nice. Erin is red. Erin is rough. Erin is white. Erin is young. Cold people are rough. White people are rough. If someone is cold and white then they are not rough. If Bob is white then Bob is not red. If Bob is rough and Bob is round then Bob is cold. If someone is nice and not red then they are not young.
Charlie is not rough.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple1) -> rule1))] Anne is round.[(triple5)] Bob is cold.[(triple6)] Bob is red.[(triple7)] Charlie is nice.[(triple8)] Charlie is red.[(triple9)] Charlie is white.[(triple10)] Charlie is young.[(triple11)] Erin is nice.[(triple12)] Erin is red.[(triple13)] Erin is rough.[(triple14 OR ((triple15) -> rule2))] Erin is white.[(triple15)] Erin is young.[(triple16)] @1: Bob is rough.[(((triple6) -> rule1))] Charlie is rough.[(((triple10) -> rule2))]