Charlie is cold. Charlie is kind. Charlie is rough. Charlie is white. Gary is cold. Gary is furry. Harry is furry. Harry is kind. Harry is red. Harry is white. If someone is furry then they are kind. If someone is young then they are white. If Charlie is young and Charlie is white then Charlie is red. White, furry people are red. All cold, young people are kind. If Charlie is furry and Charlie is kind then Charlie is cold. If someone is kind then they are rough. Cold, kind people are young.
Gary is not young.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule7))] Charlie is white.[(triple4 OR ((((triple1 triple2) -> rule8)) -> rule2))] Gary is cold.[(triple5)] Gary is furry.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8 OR ((triple7) -> rule1))] Harry is red.[(triple9 OR ((triple10 triple7) -> rule4))] Harry is white.[(triple10)] @1: Charlie is young.[(((triple1 triple2) -> rule8))] Gary is kind.[(((triple6) -> rule1))] Harry is rough.[(((triple8) -> rule7) OR ((((triple7) -> rule1)) -> rule7))] @2: Charlie is red.[(((((triple1 triple2) -> rule8) triple4) -> rule3) OR ((((triple1 triple2) -> rule8) ((((triple1 triple2) -> rule8)) -> rule2)) -> rule3))] Gary is rough.[(((((triple6) -> rule1)) -> rule7))] Gary is young.[(((triple5 ((triple6) -> rule1)) -> rule8))] @3: Gary is white.[(((((triple5 ((triple6) -> rule1)) -> rule8)) -> rule2))] @4: Gary is red.[(((((((triple5 ((triple6) -> rule1)) -> rule8)) -> rule2) triple6) -> rule4))]