Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is smart. Kind, green people are smart.
Charlie is not furry.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7 OR ((triple5 triple4) -> rule1))] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14 OR ((triple12 triple11) -> rule1))]