Bob is not nice. Dave is big. Fiona is nice. Harry is white. If someone is nice and white then they are green. If someone is young and not blue then they are green. If Dave is cold then Dave is not white. Blue people are cold. All big people are cold. If Dave is nice then Dave is not green. Nice, white people are big. All cold people are nice.
Harry is young.
@0: Bob is not nice.[(triple1)] Dave is big.[(triple2)] Fiona is nice.[(triple3)] Harry is white.[(triple4)] @1: Dave is cold.[(((triple2) -> rule5))] @2: Dave is nice.[(((((triple2) -> rule5)) -> rule8))] Dave is not white.[(((((triple2) -> rule5)) -> rule3))] @3: Dave is not green.[(((((((triple2) -> rule5)) -> rule8)) -> rule6))]