Bob is quiet. Charlie is white. Fiona is white. Harry is not furry. If something is quiet then it is big.
Bob is red.
@0: Bob is quiet.[(triple1)] Charlie is white.[(triple2)] Fiona is white.[(triple3)] Harry is not furry.[(triple4)] @1: Bob is big.[(((triple1) -> rule1))]