Bob is not cold. Charlie is big. Fiona is not big. All big, white people are green. Young people are green. If someone is green and young then they are furry. If Charlie is young and Charlie is not red then Charlie is not cold. All cold people are not young. If someone is big then they are young. If someone is green then they are young. If Bob is furry and Bob is not green then Bob is red.
Bob is not white.
@0: Bob is not cold.[(triple1)] Charlie is big.[(triple2)] Fiona is not big.[(triple3)] @1: Charlie is young.[(((triple2) -> rule6))] @2: Charlie is green.[(((((triple2) -> rule6)) -> rule2))] @3: Charlie is furry.[(((((((triple2) -> rule6)) -> rule2) ((triple2) -> rule6)) -> rule3))]