Dave is furry. Dave is white. Fiona is furry. Fiona is white. Fiona is young. Harry is smart. Harry is white. If something is white then it is red.
Dave is nice.
@0: Dave is furry.[(triple1)] Dave is white.[(triple2)] Fiona is furry.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Dave is red.[(((triple2) -> rule1))] Fiona is red.[(((triple4) -> rule1))] Harry is red.[(((triple7) -> rule1))]