Charlie is big. Charlie is kind. Charlie is red. Charlie is smart. Dave is not big. Dave is kind. Gary is rough. Harry is not kind. Harry is nice. Harry is not red. Harry is rough. Harry is not smart. White people are smart. If someone is kind then they are white. Smart people are nice.
Gary is smart.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4 OR ((((triple2) -> rule2)) -> rule1))] Dave is kind.[(triple6)] Dave is not big.[(triple5)] Gary is rough.[(triple7)] Harry is nice.[(triple9)] Harry is not kind.[(triple8)] Harry is not red.[(triple10)] Harry is not smart.[(triple12)] Harry is rough.[(triple11)] @1: Charlie is nice.[(((triple4) -> rule3) OR ((((((triple2) -> rule2)) -> rule1)) -> rule3))] Charlie is white.[(((triple2) -> rule2))] Dave is white.[(((triple6) -> rule2))] @2: Dave is smart.[(((((triple6) -> rule2)) -> rule1))] @3: Dave is nice.[(((((((triple6) -> rule2)) -> rule1)) -> rule3))]