Charlie is furry. Charlie is young. Gary is big. Gary is furry. Harry is big. Harry is kind. Harry is white. If someone is kind and white then they are cold. If Gary is nice then Gary is furry. Nice people are young. All nice, big people are kind. Kind people are cold. If someone is furry and cold then they are white. Young people are kind. If Harry is kind and Harry is white then Harry is nice.
Harry is not white.
@0: Charlie is furry.[(triple1)] Charlie is young.[(triple2)] Gary is big.[(triple3)] Gary is furry.[(triple4)] Harry is big.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule7))] Harry is cold.[(((triple6) -> rule5) OR ((triple6 triple7) -> rule1))] Harry is nice.[(((triple6 triple7) -> rule8))] @2: Charlie is cold.[(((((triple2) -> rule7)) -> rule5))] Harry is young.[(((((triple6 triple7) -> rule8)) -> rule3))] @3: Charlie is white.[(((triple1 ((((triple2) -> rule7)) -> rule5)) -> rule6))]