Bob is smart. Dave is blue. Gary is nice. All green, nice things are smart. All nice things are blue. Big, blue things are white. Nice things are blue. Green, smart things are white. If Dave is big and Dave is kind then Dave is blue. If Gary is kind then Gary is green. All nice, smart things are big.
Dave is green.
@0: Bob is smart.[(triple1)] Dave is blue.[(triple2)] Gary is nice.[(triple3)] @1: Gary is blue.[(((triple3) -> rule2) OR ((triple3) -> rule4))]