Anne is big. Anne is blue. Anne is kind. Anne is young. Bob is blue. Bob is kind. Bob is young. Rough, young things are cold. Kind, cold things are big. If something is kind and rough then it is young. All rough, furry things are young. If Bob is kind then Bob is young. If something is furry and big then it is cold.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is kind.[(triple6)] Bob is young.[(triple7 OR ((triple6) -> rule5))]