Bob is green. Dave is blue. Fiona is blue. Gary is smart. All red, smart people are green. If someone is smart then they are not round. All rough people are not red. If Gary is green then Gary is not blue. If someone is red then they are rough. If Bob is not red then Bob is not green.
Fiona is not rough.
@0: Bob is green.[(triple1)] Dave is blue.[(triple2)] Fiona is blue.[(triple3)] Gary is smart.[(triple4)] @1: Gary is not round.[(((triple4) -> rule2))]