Charlie is cold. Charlie is not furry. Charlie is not green. Charlie is kind. Charlie is not rough. Charlie is white. Charlie is young. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is white. Harry is young. If someone is cold and not green then they are kind. If someone is cold and not rough then they are white. Young, cold people are white. If someone is rough then they are white. If someone is kind then they are young. If someone is young and white then they are cold.
Harry is not rough.
@0: Charlie is cold.[(triple1 OR ((triple7 triple6) -> rule6) OR ((((triple4) -> rule5) triple6) -> rule6))] Charlie is kind.[(triple4 OR ((triple1 triple3) -> rule1) OR ((((triple7 triple6) -> rule6) triple3) -> rule1))] Charlie is not furry.[(triple2)] Charlie is not green.[(triple3)] Charlie is not rough.[(triple5)] Charlie is white.[(triple6 OR ((triple1 triple5) -> rule2) OR ((triple7 triple1) -> rule3) OR ((((triple4) -> rule5) triple1) -> rule3) OR ((((((triple1 triple3) -> rule1)) -> rule5) triple1) -> rule3))] Charlie is young.[(triple7 OR ((triple4) -> rule5) OR ((((triple1 triple3) -> rule1)) -> rule5))] Harry is cold.[(triple8 OR ((triple14 triple13) -> rule6) OR ((triple14 ((triple12) -> rule4)) -> rule6) OR ((((triple11) -> rule5) triple13) -> rule6) OR ((((triple11) -> rule5) ((triple12) -> rule4)) -> rule6))] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is rough.[(triple12)] Harry is white.[(triple13 OR ((triple12) -> rule4) OR ((triple14 triple8) -> rule3) OR ((((triple11) -> rule5) triple8) -> rule3))] Harry is young.[(triple14 OR ((triple11) -> rule5))]