Dave is blue. Dave is furry. Dave is young. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is white. Harry is green. Harry is kind. Harry is nice. Harry is white. Harry is young. White, nice things are furry. If something is young and kind then it is white.
Harry is kind.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is white.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is white.[(triple11 OR ((triple12 triple9) -> rule2))] Harry is young.[(triple12)] @1: Fiona is furry.[(((triple7 triple6) -> rule1))] Harry is furry.[(((triple11 triple10) -> rule1) OR ((((triple12 triple9) -> rule2) triple10) -> rule1))]