Even though Dave is big and rough, he is kind. Dave is green with envy. Fred is green to the job, which is why he turned blue from being so cold. Gary seems to be round. The young person who is always feeling cold is named Harry. Every time you meet someone kind and nice, they'll be green, too. Round people who are kind tend to be nice. People that are green and big while also being cold are always nice. A young person who is big and rough and big is also usually round. When someone is blue, nice and young they will also be as big as the sun. A kind person will certainly be young.
Fred is green.
@0: Dave is big.[(triple4)] Dave is green.[(triple3 OR ((triple2 ((((triple1 triple4 ((triple2) -> rule6)) -> rule4) triple2) -> rule2)) -> rule1))] Dave is kind.[(triple2)] Dave is rough.[(triple1)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Fred is green.[(triple5)] Gary is round.[(triple8)] Harry is cold.[(triple10)] Harry is young.[(triple9)] @1: Dave is young.[(((triple2) -> rule6))] @2: Dave is round.[(((triple1 triple4 ((triple2) -> rule6)) -> rule4))] @3: Dave is nice.[(((((triple1 triple4 ((triple2) -> rule6)) -> rule4) triple2) -> rule2))]