Bob is smart. Dave is furry. Fiona is rough. If someone is blue and not nice then they are not green. All round, green people are smart. All rough people are not smart. If Bob is green then Bob is smart. If Dave is not nice then Dave is not blue. Nice, round people are blue. If Dave is rough then Dave is not round. If Bob is smart and Bob is blue then Bob is green.
Bob is not blue.
@0: Bob is smart.[(triple1)] Dave is furry.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is not smart.[(((triple3) -> rule3))]