Charlie is cold. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is rough. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is not white. If something is cold then it is white. Quiet things are smart. All white things are quiet.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is not red.[(triple5)] Fiona is quiet.[(triple4 OR ((((triple2) -> rule1)) -> rule3))] Fiona is rough.[(triple6)] Gary is kind.[(triple7)] Gary is not white.[(triple12)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is smart.[(triple11 OR ((triple8) -> rule2))] @1: Charlie is white.[(((triple1) -> rule1))] Fiona is smart.[(((triple4) -> rule2) OR ((((((triple2) -> rule1)) -> rule3)) -> rule2))] Fiona is white.[(((triple2) -> rule1))] @2: Charlie is quiet.[(((((triple1) -> rule1)) -> rule3))] @3: Charlie is smart.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]