Anne is smart. Charlie is nice. Fiona is big. Harry is nice. If Anne is young then Anne is smart. If Fiona is quiet then Fiona is smart. If something is big then it is young. All quiet, smart things are young. If something is young then it is cold. Nice, young things are cold. If something is kind then it is not quiet. All cold things are kind.
Charlie is big.
@0: Anne is smart.[(triple1)] Charlie is nice.[(triple2)] Fiona is big.[(triple3)] Harry is nice.[(triple4)] @1: Fiona is young.[(((triple3) -> rule3))] @2: Fiona is cold.[(((((triple3) -> rule3)) -> rule5))] @3: Fiona is kind.[(((((((triple3) -> rule3)) -> rule5)) -> rule8))] @4: Fiona is not quiet.[(((((((((triple3) -> rule3)) -> rule5)) -> rule8)) -> rule7))]