Charlie is green. Charlie is kind. Charlie is rough. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is round. If someone is kind and cold then they are furry. If Charlie is kind then Charlie is cold.
Charlie is not round.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5 OR ((triple7 triple4) -> rule1))] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Charlie is cold.[(((triple2) -> rule2))] @2: Charlie is furry.[(((triple2 ((triple2) -> rule2)) -> rule1))]