Charlie is rough. Charlie is young. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is young. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Gary is kind. Gary is nice. Gary is rough. All nice things are smart. If something is rough then it is smart. If Charlie is cold then Charlie is nice. Rough things are cold. All rough, kind things are nice. All white things are young.
Charlie is not white.
@0: Charlie is rough.[(triple1)] Charlie is young.[(triple2)] Dave is cold.[(triple3 OR ((triple6) -> rule4))] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((triple6 triple4) -> rule5))] Dave is rough.[(triple6)] Dave is smart.[(triple7 OR ((triple5) -> rule1) OR ((triple6) -> rule2) OR ((((triple6 triple4) -> rule5)) -> rule1))] Dave is young.[(triple8)] Fiona is cold.[(triple9 OR ((triple11) -> rule4))] Fiona is kind.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple11) -> rule2) OR ((((triple11 triple10) -> rule5)) -> rule1))] Fiona is white.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15 OR ((triple16 triple14) -> rule5))] Gary is rough.[(triple16)] @1: Charlie is cold.[(((triple1) -> rule4))] Charlie is smart.[(((triple1) -> rule2) OR ((((((triple1) -> rule4)) -> rule3)) -> rule1))] Fiona is nice.[(((triple11 triple10) -> rule5))] Fiona is young.[(((triple13) -> rule6))] Gary is cold.[(((triple16) -> rule4))] Gary is smart.[(((triple15) -> rule1) OR ((triple16) -> rule2) OR ((((triple16 triple14) -> rule5)) -> rule1))] @2: Charlie is nice.[(((((triple1) -> rule4)) -> rule3))]