Bob is round. Dave is nice. Dave is smart. If Bob is smart then Bob is young. All nice people are blue. Blue people are nice. Round people are rough. Nice, round people are big. If someone is rough and blue then they are nice.
Dave is round.
@0: Bob is round.[(triple1)] Dave is nice.[(triple2)] Dave is smart.[(triple3)] @1: Bob is rough.[(((triple1) -> rule4))] Dave is blue.[(((triple2) -> rule2))]