Bob is big. Dave is nice. Erin is not red. Harry is big. If Bob is rough and Bob is young then Bob is not cold. If someone is nice then they are rough. If Bob is furry then Bob is big.
Harry is not rough.
@0: Bob is big.[(triple1)] Dave is nice.[(triple2)] Erin is not red.[(triple3)] Harry is big.[(triple4)] @1: Dave is rough.[(((triple2) -> rule2))]