Anne is cold. Anne is red. Anne is white. Charlie is big. Charlie is cold. Charlie is red. Charlie is rough. Fiona is cold. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. If Charlie is red then Charlie is big. If something is young and not smart then it is cold. Smart things are cold. Smart, white things are rough. All rough things are young. Big, cold things are not white.
Charlie is white.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Charlie is big.[(triple4 OR ((triple6) -> rule1))] Charlie is cold.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Fiona is cold.[(triple8 OR ((triple10) -> rule3))] Fiona is rough.[(triple9 OR ((triple10 triple11) -> rule4))] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12 OR ((triple9) -> rule5) OR ((((triple10 triple11) -> rule4)) -> rule5))] @1: Charlie is not white.[(((triple4 triple5) -> rule6) OR ((((triple6) -> rule1) triple5) -> rule6))] Charlie is young.[(((triple7) -> rule5))]