Alan is a big fellow, often blue and sad, but he is nice. Dave is still young, which explains why he is round and cold, however, most people still think Dave is nice. That guy Eric sure is nice. Harry is nice and kind,though he's also rather cold. Young, red people are usually quite blue too. Young and rough people will most certainly be red. If someone has a kind disposition and looks rather round and rough then you'll find that they're actually quite young. It's pretty typical of red, rough, and cold people to be round. Cold, young people are also certain to be rough people. If you know someone who is nice, green, and big, you know a young person. A person who is cold and red and blue is big.
Dave is big.
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is nice.[(triple1)] Dave is cold.[(triple7)] Dave is nice.[(triple6)] Dave is round.[(triple5 OR ((((triple4 ((triple7 triple4) -> rule5)) -> rule2) ((triple7 triple4) -> rule5) triple7) -> rule4))] Dave is young.[(triple4)] Eric is nice.[(triple8)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] @1: Dave is rough.[(((triple7 triple4) -> rule5))] @2: Dave is red.[(((triple4 ((triple7 triple4) -> rule5)) -> rule2))] @3: Dave is blue.[(((((triple4 ((triple7 triple4) -> rule5)) -> rule2) triple4) -> rule1))] @4: Dave is big.[(((((triple4 ((triple7 triple4) -> rule5)) -> rule2) ((((triple4 ((triple7 triple4) -> rule5)) -> rule2) triple4) -> rule1) triple7) -> rule7))]