Bob is rough. Bob is white. Dave is blue. Fiona is big. Fiona is blue. Harry is blue. Harry is quiet. If Bob is rough and Bob is white then Bob is big.
Bob is cold.
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Dave is blue.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Harry is blue.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is big.[(((triple1 triple2) -> rule1))]