Anne is cold. Charlie is cold. Charlie is quiet. Charlie is round. Fiona is cold. Fiona is quiet. Gary is quiet. All red, cold people are white. All round people are quiet. All rough, red people are cold. All cold, nice people are red. All white, cold people are rough. All quiet people are red.
Charlie is red.
@0: Anne is cold.[(triple1)] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3 OR ((triple4) -> rule2))] Charlie is round.[(triple4)] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Gary is quiet.[(triple7)] @1: Charlie is red.[(((triple3) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Fiona is red.[(((triple6) -> rule6))] Gary is red.[(((triple7) -> rule6))] @2: Charlie is white.[(((((triple3) -> rule6) triple2) -> rule1) OR ((((((triple4) -> rule2)) -> rule6) triple2) -> rule1))] Fiona is white.[(((((triple6) -> rule6) triple5) -> rule1))] @3: Charlie is rough.[(((((((triple3) -> rule6) triple2) -> rule1) triple2) -> rule5) OR ((((((((triple4) -> rule2)) -> rule6) triple2) -> rule1) triple2) -> rule5))] Fiona is rough.[(((((((triple6) -> rule6) triple5) -> rule1) triple5) -> rule5))]