Bob is cold. Erin is not big. If someone is cold and green then they are furry. If Erin is big then Erin is cold. If Bob is cold then Bob is not big. Cold people are not young. If someone is furry then they are young. All big, young people are green.
Erin is not young.
@0: Bob is cold.[(triple1)] Erin is not big.[(triple2)] @1: Bob is not big.[(((triple1) -> rule3))] Bob is not young.[(((triple1) -> rule4))]