Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is white. Charlie is young. Harry is furry. Harry is kind. Harry is quiet. Harry is white. Harry is young. All kind, young things are white. If something is green and kind then it is furry.
Charlie is young.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple3 triple4) -> rule2))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6 OR ((triple4 triple7) -> rule1))] Charlie is young.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is white.[(triple11 OR ((triple9 triple12) -> rule1))] Harry is young.[(triple12)]