Bob is young. Erin is red. Fiona is blue. Harry is furry. If Harry is furry then Harry is kind. Young people are blue. If someone is furry and not kind then they are not blue. All blue, furry people are white. If someone is green and kind then they are white. All blue people are green.
Fiona is not white.
@0: Bob is young.[(triple1)] Erin is red.[(triple2)] Fiona is blue.[(triple3)] Harry is furry.[(triple4)] @1: Bob is blue.[(((triple1) -> rule2))] Fiona is green.[(((triple3) -> rule6))] Harry is kind.[(((triple4) -> rule1))] @2: Bob is green.[(((((triple1) -> rule2)) -> rule6))]