Charlie is green. Charlie is rough. Charlie is white. Harry is green. Harry is kind. Harry is smart. Harry is young. Rough, green people are smart. If Harry is kind then Harry is furry. Kind, smart people are young.
Charlie is white.
@0: Charlie is green.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7 OR ((triple5 triple6) -> rule3))] @1: Charlie is smart.[(((triple2 triple1) -> rule1))] Harry is furry.[(((triple5) -> rule2))]