Big Charlie is a kind man and often wears blue and green shirts. Dave ate some rotten meat and now feels green. Fred, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. They always call him rough Gary. Red and green people that are nice are cold to strangers. A green person who is cold and round is also big. If you have a big and round shape then you are going to be young, too. A person who is round and nice is cold. Round, nice people are normally cold and nasty.
Dave is round.
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is green.[(triple2)] Charlie is kind.[(triple1)] Dave is green.[(triple5)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Gary is rough.[(triple10)] @1: Fred is cold.[(((triple6 triple7) -> rule5) OR ((triple7 triple6) -> rule4))] @2: Fred is big.[(((((triple6 triple7) -> rule5) triple6 triple9) -> rule2) OR ((((triple7 triple6) -> rule4) triple6 triple9) -> rule2))] @3: Fred is young.[(((triple6 ((((triple6 triple7) -> rule5) triple6 triple9) -> rule2)) -> rule3) OR ((triple6 ((((triple7 triple6) -> rule4) triple6 triple9) -> rule2)) -> rule3))]