Charlie is blue. Charlie is round. Dave is kind. Harry is blue. Harry is cold. Harry is not kind. Harry is not round. All round, green people are cold. If someone is kind then they are not cold. Cold, round people are blue. All kind, round people are blue. If someone is green then they are blue. If someone is round and not green then they are big. All blue people are furry. If Charlie is not round and Charlie is not big then Charlie is blue.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is round.[(triple2)] Dave is kind.[(triple3)] Harry is blue.[(triple4)] Harry is cold.[(triple5)] Harry is not kind.[(triple6)] Harry is not round.[(triple7)] @1: Charlie is furry.[(((triple1) -> rule7))] Dave is not cold.[(((triple3) -> rule2))] Harry is furry.[(((triple4) -> rule7))]