Bob is blue. Bob is white. Erin is green. Erin is round. Fiona is blue. Gary is furry. Gary is green. Kind people are green. All blue people are kind.
Gary is not white.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2)] Erin is green.[(triple3)] Erin is round.[(triple4)] Fiona is blue.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] @1: Bob is kind.[(((triple1) -> rule2))] Fiona is kind.[(((triple5) -> rule2))] @2: Bob is green.[(((((triple1) -> rule2)) -> rule1))] Fiona is green.[(((((triple5) -> rule2)) -> rule1))]