Anne is cold. Erin is red. Fiona is furry. Gary is cold. If something is green and kind then it is furry. Kind, furry things are big. If something is kind and big then it is furry. All cold things are kind. If something is red then it is cold. If Fiona is red then Fiona is rough. All kind, rough things are furry. Cold things are rough.
Gary is green.
@0: Anne is cold.[(triple1)] Erin is red.[(triple2)] Fiona is furry.[(triple3)] Gary is cold.[(triple4)] @1: Anne is kind.[(((triple1) -> rule4))] Anne is rough.[(((triple1) -> rule8))] Erin is cold.[(((triple2) -> rule5))] Gary is kind.[(((triple4) -> rule4))] Gary is rough.[(((triple4) -> rule8))] @2: Anne is furry.[(((((triple1) -> rule4) ((triple1) -> rule8)) -> rule7))] Erin is kind.[(((((triple2) -> rule5)) -> rule4))] Erin is rough.[(((((triple2) -> rule5)) -> rule8))] Gary is furry.[(((((triple4) -> rule4) ((triple4) -> rule8)) -> rule7))] @3: Anne is big.[(((((triple1) -> rule4) ((((triple1) -> rule4) ((triple1) -> rule8)) -> rule7)) -> rule2))] Erin is furry.[(((((((triple2) -> rule5)) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule7))] Gary is big.[(((((triple4) -> rule4) ((((triple4) -> rule4) ((triple4) -> rule8)) -> rule7)) -> rule2))] @4: Erin is big.[(((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule7)) -> rule2))]