Anne is cold. Anne is rough. Anne is round. Anne is not smart. Charlie is cold. Charlie is round. Charlie is smart. Gary is not furry. Gary is rough. Harry is red. Harry is rough. Harry is smart. White people are round. All rough people are round. All cold people are round. All round people are white. White, round people are red. All white, round people are red.
Charlie is furry.
@0: Anne is cold.[(triple1)] Anne is not smart.[(triple4)] Anne is rough.[(triple2)] Anne is round.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule2))] Charlie is cold.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule3))] Charlie is smart.[(triple7)] Gary is not furry.[(triple8)] Gary is rough.[(triple9)] Harry is red.[(triple10 OR ((((((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule5) OR ((((((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule6))] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Anne is white.[(((triple3) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Charlie is white.[(((triple6) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] Gary is round.[(((triple9) -> rule2))] Harry is round.[(((triple11) -> rule2))] @2: Anne is red.[(((((triple3) -> rule4) triple3) -> rule5) OR ((((triple3) -> rule4) triple3) -> rule6) OR ((((triple3) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((triple3) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule4) ((triple2) -> rule2)) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) triple3) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) triple3) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6))] Charlie is red.[(((((triple6) -> rule4) triple6) -> rule5) OR ((((triple6) -> rule4) triple6) -> rule6) OR ((((triple6) -> rule4) ((triple5) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((triple5) -> rule3)) -> rule6) OR ((((((triple5) -> rule3)) -> rule4) triple6) -> rule5) OR ((((((triple5) -> rule3)) -> rule4) triple6) -> rule6) OR ((((((triple5) -> rule3)) -> rule4) ((triple5) -> rule3)) -> rule5) OR ((((((triple5) -> rule3)) -> rule4) ((triple5) -> rule3)) -> rule6))] Gary is white.[(((((triple9) -> rule2)) -> rule4))] Harry is white.[(((((triple11) -> rule2)) -> rule4))] @3: Gary is red.[(((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule5) OR ((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule6))]