Dave is a red person who is round and also feels blue. That rough but kind guy is Eric, the green one. That Fred is a round, rough fellow, and he's nice, as well as big. Harry is a kind and red colored guy. Blue Christmas ornaments are also red. People who are blue and green are nice. A kind, young person will be rough textured. Nice people who are big are always feeling blue. You will notice that a rough, nice, red individual will be young. An individual who is big and nice is also green. A big, green person who is cold is assumed to be red also.
Fred is red.
@0: Dave is blue.[(triple3)] Dave is red.[(triple2 OR ((triple3) -> rule1))] Dave is round.[(triple1)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is rough.[(triple4)] Fred is big.[(triple10)] Fred is nice.[(triple9)] Fred is rough.[(triple8)] Fred is round.[(triple7)] Harry is kind.[(triple12)] Harry is red.[(triple11)] @1: Fred is blue.[(((triple9 triple10) -> rule4))] Fred is green.[(((triple10 triple9) -> rule6))] @2: Fred is red.[(((((triple9 triple10) -> rule4)) -> rule1))] @3: Fred is young.[(((triple8 ((((triple9 triple10) -> rule4)) -> rule1) triple9) -> rule5))]