Bob is green. Bob is young. Charlie is blue. Charlie is green. Charlie is not kind. Erin is big. Erin is green. Erin is young. Harry is rough. Harry is young. All cold, big people are young. If someone is blue and rough then they are young. If Harry is rough and Harry is kind then Harry is cold. If Charlie is cold then Charlie is rough. If Harry is cold then Harry is not blue. If someone is blue and not kind then they are cold.
Charlie is not rough.
@0: Bob is green.[(triple1)] Bob is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is green.[(triple4)] Charlie is not kind.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple7)] Erin is young.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Charlie is cold.[(((triple3 triple5) -> rule6))] @2: Charlie is rough.[(((((triple3 triple5) -> rule6)) -> rule4))] @3: Charlie is young.[(((triple3 ((((triple3 triple5) -> rule6)) -> rule4)) -> rule2))]