Bob is smart. Dave is big. Gary is not nice. If Bob is big and Bob is not green then Bob is young. If someone is smart then they are not nice.
Dave is green.
@0: Bob is smart.[(triple1)] Dave is big.[(triple2)] Gary is not nice.[(triple3)] @1: Bob is not nice.[(((triple1) -> rule2))]