Bob is furry. Bob is not kind. Bob is not red. Bob is young. Erin is blue. Erin is kind. Erin is young. All young people are cold. If someone is green then they are cold. All furry, cold people are blue. If someone is furry and not young then they are blue. Green people are blue. Kind, blue people are furry. If Erin is blue then Erin is kind. If Bob is blue and Bob is not furry then Bob is not red.
Erin is green.
@0: Bob is furry.[(triple1)] Bob is not kind.[(triple2)] Bob is not red.[(triple3)] Bob is young.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6 OR ((triple5) -> rule7))] Erin is young.[(triple7)] @1: Bob is cold.[(((triple4) -> rule1))] Erin is cold.[(((triple7) -> rule1))] Erin is furry.[(((triple6 triple5) -> rule6) OR ((((triple5) -> rule7) triple5) -> rule6))] @2: Bob is blue.[(((triple1 ((triple4) -> rule1)) -> rule3))]