Bob is cold. Bob is rough. Dave is big. Dave is cold. Dave is rough. Harry is big. Harry is round. Rough people are smart. All cold, big people are round. If Dave is kind then Dave is rough.
Dave is not big.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Dave is rough.[(triple5)] Harry is big.[(triple6)] Harry is round.[(triple7)] @1: Bob is smart.[(((triple2) -> rule1))] Dave is round.[(((triple4 triple3) -> rule2))] Dave is smart.[(((triple5) -> rule1))]