Bob is young. Dave is quiet. Fiona is not round. Harry is big. All cold people are nice. Cold, young people are not quiet. If someone is cold and not blue then they are quiet. All cold people are round. If someone is young then they are cold. If someone is nice then they are not big. All blue, quiet people are big. If Fiona is nice and Fiona is not round then Fiona is not quiet.
Dave is not quiet.
@0: Bob is young.[(triple1)] Dave is quiet.[(triple2)] Fiona is not round.[(triple3)] Harry is big.[(triple4)] @1: Bob is cold.[(((triple1) -> rule5))] @2: Bob is nice.[(((((triple1) -> rule5)) -> rule1))] Bob is not quiet.[(((((triple1) -> rule5) triple1) -> rule2))] Bob is round.[(((((triple1) -> rule5)) -> rule4))] @3: Bob is not big.[(((((((triple1) -> rule5)) -> rule1)) -> rule6))]