Bob is green. Charlie is blue. Dave is nice. Dave is red. Dave is rough. Gary is green. Gary is red. If Charlie is rough and Charlie is blue then Charlie is red. If someone is red then they are blue. All green, rough people are smart. Red, kind people are rough. All blue people are green. If someone is rough and blue then they are red. All nice, smart people are red. Smart, rough people are red.
Bob is red.
@0: Bob is green.[(triple1)] Charlie is blue.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Gary is green.[(triple6 OR ((((triple7) -> rule2)) -> rule5))] Gary is red.[(triple7)] @1: Charlie is green.[(((triple2) -> rule5))] Dave is blue.[(((triple4) -> rule2))] Gary is blue.[(((triple7) -> rule2))] @2: Dave is green.[(((((triple4) -> rule2)) -> rule5))] @3: Dave is smart.[(((((((triple4) -> rule2)) -> rule5) triple5) -> rule3))]