Dave is kind. Dave is white. Fiona is cold. If someone is quiet and white then they are not big. If someone is cold and not kind then they are quiet. White people are round. If Dave is round then Dave is quiet. If someone is round and not quiet then they are not smart. If someone is round and not kind then they are smart.
Dave is not round.
@0: Dave is kind.[(triple1)] Dave is white.[(triple2)] Fiona is cold.[(triple3)] @1: Dave is round.[(((triple2) -> rule3))] @2: Dave is quiet.[(((((triple2) -> rule3)) -> rule4))] @3: Dave is not big.[(((((((triple2) -> rule3)) -> rule4) triple2) -> rule1))]