Alan ate some rotten meat and now feels green. Bob is a very kind, green but sometimes cold person. Young Dave is red, green and cold. That big rough Gary guy is both red and blue at the same time. When young, round people are cold it their skin gets a blue tinge to it. Kind, young, green persons are sure to be rough persons, too. If people are cold they are often red. Despite being kind cold people with red ears will still be big. Big people that have a rough demeanor usually feel blue. If you meet someone who is big and kind with cold skin, they will be young. If a person is red, kind, and nice then they must be round.
Alan is not green.
@0: Alan is green.[(triple1)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6 OR ((triple8) -> rule3))] Dave is young.[(triple5)] Gary is big.[(triple12)] Gary is blue.[(triple11 OR ((triple12 triple9) -> rule5))] Gary is red.[(triple10)] Gary is rough.[(triple9)] @1: Bob is red.[(((triple4) -> rule3))] @2: Bob is big.[(((triple4 ((triple4) -> rule3) triple2) -> rule4))] @3: Bob is young.[(((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6))] @4: Bob is rough.[(((triple2 ((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6) triple3) -> rule2))] @5: Bob is blue.[(((((triple4 ((triple4) -> rule3) triple2) -> rule4) ((triple2 ((triple2 triple4 ((triple4 ((triple4) -> rule3) triple2) -> rule4)) -> rule6) triple3) -> rule2)) -> rule5))]