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