Anne is cold. Anne is smart. Charlie is not blue. Charlie is furry. Charlie is rough. Charlie is smart. Charlie is young. Dave is blue. Dave is not smart. Dave is not white. Dave is young. Fiona is cold. Fiona is not furry. Fiona is rough. Fiona is not smart. Fiona is white. Young, blue people are rough. If someone is cold and not young then they are rough. If someone is furry and not young then they are not rough. If someone is young then they are cold. Furry, blue people are not cold. All smart, blue people are not cold. All furry people are white. All white, young people are smart.
Charlie is not young.
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2)] Charlie is furry.[(triple4)] Charlie is not blue.[(triple3)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((((triple4) -> rule7) triple7) -> rule8))] Charlie is young.[(triple7)] Dave is blue.[(triple8)] Dave is not smart.[(triple9)] Dave is not white.[(triple10)] Dave is young.[(triple11)] Fiona is cold.[(triple12)] Fiona is not furry.[(triple13)] Fiona is not smart.[(triple15)] Fiona is rough.[(triple14)] Fiona is white.[(triple16)] @1: Charlie is cold.[(((triple7) -> rule4))] Charlie is white.[(((triple4) -> rule7))] Dave is cold.[(((triple11) -> rule4))] Dave is rough.[(((triple11 triple8) -> rule1))]