Bob is quiet. Erin is young. Fiona is cold. Harry is white. All kind things are cold. If something is young and big then it is cold. Quiet things are nice.
Harry is big.
@0: Bob is quiet.[(triple1)] Erin is young.[(triple2)] Fiona is cold.[(triple3)] Harry is white.[(triple4)] @1: Bob is nice.[(((triple1) -> rule3))]