Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Gary is round. Gary is white. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. All rough people are white. Furry people are rough. All white, round people are cold. All cold, rough people are white. All furry people are quiet. If Gary is cold and Gary is round then Gary is furry. White, rough people are round. All kind, quiet people are white.
Gary is not cold.
@0: Charlie is cold.[(triple1 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple5 triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule3) OR ((((triple3) -> rule1) ((triple5 triple3) -> rule7)) -> rule3) OR ((triple5 ((((triple3) -> rule1) triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule1) ((((triple3) -> rule1) triple3) -> rule7)) -> rule3))] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple5 triple3) -> rule7) OR ((((triple3) -> rule1) triple3) -> rule7) OR ((((triple1 triple3) -> rule4) triple3) -> rule7))] Charlie is white.[(triple5 OR ((triple3) -> rule1) OR ((triple1 triple3) -> rule4))] Gary is round.[(triple6)] Gary is white.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10 OR ((triple8) -> rule5))] Harry is rough.[(triple11 OR ((triple8) -> rule2))] Harry is round.[(triple12 OR ((((triple11) -> rule1) triple11) -> rule7) OR ((((triple9 triple10) -> rule8) triple11) -> rule7) OR ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7) OR ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7) OR ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7) OR ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7) OR ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7))] @1: Gary is cold.[(((triple7 triple6) -> rule3))] Harry is white.[(((triple11) -> rule1) OR ((triple9 triple10) -> rule8) OR ((((triple8) -> rule2)) -> rule1) OR ((triple9 ((triple8) -> rule5)) -> rule8))] @2: Gary is furry.[(((((triple7 triple6) -> rule3) triple6) -> rule6))] Harry is cold.[(((((triple11) -> rule1) triple12) -> rule3) OR ((((triple9 triple10) -> rule8) triple12) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) triple12) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) triple12) -> rule3) OR ((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple9 triple10) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple11) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple9 triple10) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple11) -> rule1) triple11) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple9 triple10) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple11) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple9 triple10) -> rule8) triple11) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple11) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple9 triple10) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple11) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((((triple8) -> rule2)) -> rule1) triple11) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple9 ((triple8) -> rule5)) -> rule8) triple11) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule7)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule8) ((((triple9 ((triple8) -> rule5)) -> rule8) ((triple8) -> rule2)) -> rule7)) -> rule3))] @3: Gary is quiet.[(((((((triple7 triple6) -> rule3) triple6) -> rule6)) -> rule5))] Gary is rough.[(((((((triple7 triple6) -> rule3) triple6) -> rule6)) -> rule2))]