Bob is kind. Bob is young. Dave is big. Dave is white. Dave is young. Fiona is big. Fiona is kind. Fiona is white. Harry is blue. Harry is young. Blue people are nice. All nice, cold people are young. All young, nice people are cold. All cold people are kind. Cold people are young. If Dave is young then Dave is kind.
Harry is not kind.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Dave is big.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Fiona is big.[(triple6)] Fiona is kind.[(triple7)] Fiona is white.[(triple8)] Harry is blue.[(triple9)] Harry is young.[(triple10)] @1: Dave is kind.[(((triple5) -> rule6))] Harry is nice.[(((triple9) -> rule1))] @2: Harry is cold.[(((triple10 ((triple9) -> rule1)) -> rule3))] @3: Harry is kind.[(((((triple10 ((triple9) -> rule1)) -> rule3)) -> rule4))]