Charlie is blue. Charlie is cold. Charlie is furry. Charlie is not kind. Charlie is rough. Charlie is white. Charlie is young. Harry is not furry. Harry is kind. Harry is white. Cold, blue people are young. All rough people are young. Blue, kind people are cold. If Harry is not furry then Harry is blue. If Charlie is rough then Charlie is young. If Charlie is cold then Charlie is blue.
Harry is blue.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule6))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is not kind.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple5) -> rule2) OR ((triple5) -> rule5) OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple2) -> rule6)) -> rule1))] Harry is kind.[(triple9)] Harry is not furry.[(triple8)] Harry is white.[(triple10)] @1: Harry is blue.[(((triple8) -> rule4))] @2: Harry is cold.[(((((triple8) -> rule4) triple9) -> rule3))] @3: Harry is young.[(((((((triple8) -> rule4) triple9) -> rule3) ((triple8) -> rule4)) -> rule1))]