Anne is not kind. Dave is cold. Fiona is young. Harry is kind. If something is big and not blue then it is cold. If something is round and not rough then it is big. All young, cold things are big. If something is round then it is not big. If Dave is big then Dave is not round. Cold things are round. If something is blue and big then it is round. Round things are not kind.
Harry is not big.
@0: Anne is not kind.[(triple1)] Dave is cold.[(triple2)] Fiona is young.[(triple3)] Harry is kind.[(triple4)] @1: Dave is round.[(((triple2) -> rule6))] @2: Dave is not big.[(((((triple2) -> rule6)) -> rule4))] Dave is not kind.[(((((triple2) -> rule6)) -> rule8))]