Charlie is cold. Charlie is green. Charlie is kind. Charlie is smart. Dave is big. Dave is cold. Dave is kind. Dave is smart. Harry is kind. Harry is smart. Cold people are green. If someone is cold then they are nice. All white people are cold. If Dave is white and Dave is green then Dave is cold. All kind, nice people are big. If someone is nice then they are big. All white people are kind. If Harry is big and Harry is not kind then Harry is smart.
Harry is not big.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2 OR ((triple1) -> rule1))] Charlie is kind.[(triple3)] Charlie is smart.[(triple4)] Dave is big.[(triple5 OR ((((triple6) -> rule2)) -> rule6) OR ((triple7 ((triple6) -> rule2)) -> rule5))] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is smart.[(triple8)] Harry is kind.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is nice.[(((triple1) -> rule2))] Dave is green.[(((triple6) -> rule1))] Dave is nice.[(((triple6) -> rule2))] @2: Charlie is big.[(((((triple1) -> rule2)) -> rule6) OR ((triple3 ((triple1) -> rule2)) -> rule5))]