Anne is green. Bob is blue. Charlie is rough. Gary is red. If Bob is green then Bob is rough. All green people are red. Blue people are smart. If Anne is not big then Anne is rough. All blue, smart people are green. If someone is smart and not rough then they are kind.
Gary is not blue.
@0: Anne is green.[(triple1)] Bob is blue.[(triple2)] Charlie is rough.[(triple3)] Gary is red.[(triple4)] @1: Anne is red.[(((triple1) -> rule2))] Bob is smart.[(((triple2) -> rule3))] @2: Bob is green.[(((triple2 ((triple2) -> rule3)) -> rule5))] @3: Bob is red.[(((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2))] Bob is rough.[(((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule1))]