Bob ate some rotten meat and now feels green. That big young man is Eric he can act in a somewhat rough manner but that's just because he feels very green here. Big Fred is fairly young. When he was a small child he would wear his parka and you could see his little green body in the distance. His lips would turn blue when he was cold. Gary is so young and darling he is kind to all the old people on the block. Young round blue people are also big people. People who are rough are young. Cold people who are young and green are actually nice. A young round person who is green is also red. Someone who is young and nice is often round.
Gary is not green.
@0: Bob is green.[(triple1)] Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is rough.[(triple3)] Eric is young.[(triple2 OR ((triple3) -> rule2))] Fred is big.[(triple10 OR ((((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5) triple9 triple6) -> rule1))] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is young.[(triple6)] Gary is kind.[(triple12)] Gary is young.[(triple11)] @1: Fred is nice.[(((triple8 triple7 triple6) -> rule3))] @2: Fred is round.[(((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5))] @3: Fred is red.[(((triple6 ((triple6 ((triple8 triple7 triple6) -> rule3)) -> rule5) triple7) -> rule4))]