Bob is kind. Dave is kind. Fiona is not blue. Harry is kind. Green people are young. If Harry is blue then Harry is nice. If Fiona is nice and Fiona is not blue then Fiona is green. All green people are nice. All young people are green. Green people are not white. If Bob is kind then Bob is young. If Fiona is not young and Fiona is not blue then Fiona is not white.
Dave is not rough.
@0: Bob is kind.[(triple1)] Dave is kind.[(triple2)] Fiona is not blue.[(triple3)] Harry is kind.[(triple4)] @1: Bob is young.[(((triple1) -> rule7))] @2: Bob is green.[(((((triple1) -> rule7)) -> rule5))] @3: Bob is nice.[(((((((triple1) -> rule7)) -> rule5)) -> rule4))] Bob is not white.[(((((((triple1) -> rule7)) -> rule5)) -> rule6))]