Bob is big. Charlie is kind. Gary is kind. Harry is furry. All green people are not cold. If someone is young and not big then they are cold. If someone is kind then they are green.
Harry is not furry.
@0: Bob is big.[(triple1)] Charlie is kind.[(triple2)] Gary is kind.[(triple3)] Harry is furry.[(triple4)] @1: Charlie is green.[(((triple2) -> rule3))] Gary is green.[(((triple3) -> rule3))] @2: Charlie is not cold.[(((((triple2) -> rule3)) -> rule1))] Gary is not cold.[(((((triple3) -> rule3)) -> rule1))]