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