Charlie is quiet. Erin is cold. Erin is kind. Erin is rough. Erin is round. Fiona is nice. Fiona is rough. Gary is cold. Gary is kind. Gary is nice. Gary is rough. Gary is round. If someone is round then they are rough. All cold people are kind. Quiet people are nice. White, nice people are cold. Nice people are white. If someone is cold then they are round. If Charlie is nice and Charlie is rough then Charlie is white.
Charlie is rough.
@0: Charlie is quiet.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3 OR ((triple2) -> rule2))] Erin is rough.[(triple4 OR ((triple5) -> rule1) OR ((((triple2) -> rule6)) -> rule1))] Erin is round.[(triple5 OR ((triple2) -> rule6))] Fiona is nice.[(triple6)] Fiona is rough.[(triple7 OR ((((((((triple6) -> rule5) triple6) -> rule4)) -> rule6)) -> rule1))] Gary is cold.[(triple8 OR ((((triple10) -> rule5) triple10) -> rule4))] Gary is kind.[(triple9 OR ((triple8) -> rule2) OR ((((((triple10) -> rule5) triple10) -> rule4)) -> rule2))] Gary is nice.[(triple10)] Gary is rough.[(triple11 OR ((triple12) -> rule1) OR ((((triple8) -> rule6)) -> rule1) OR ((((((((triple10) -> rule5) triple10) -> rule4)) -> rule6)) -> rule1))] Gary is round.[(triple12 OR ((triple8) -> rule6) OR ((((((triple10) -> rule5) triple10) -> rule4)) -> rule6))] @1: Charlie is nice.[(((triple1) -> rule3))] Fiona is white.[(((triple6) -> rule5))] Gary is white.[(((triple10) -> rule5))] @2: Charlie is white.[(((((triple1) -> rule3)) -> rule5))] Fiona is cold.[(((((triple6) -> rule5) triple6) -> rule4))] @3: Charlie is cold.[(((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4))] Fiona is kind.[(((((((triple6) -> rule5) triple6) -> rule4)) -> rule2))] Fiona is round.[(((((((triple6) -> rule5) triple6) -> rule4)) -> rule6))] @4: Charlie is kind.[(((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4)) -> rule2))] Charlie is round.[(((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4)) -> rule6))] @5: Charlie is rough.[(((((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4)) -> rule6)) -> rule1))]