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