Bob is so young and darling he is kind to all the old people on the block. Dave always goes out of his way to show that he is kind to people. Eric is still young which means he can be rough and cold. He is a big boy with red hair. Whoever is rough and red must be kind. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. Someone might be red but blue from the cold dressing in green. A person described as cold and kind can also be described as nice. Nice people who are green and red will also have round shapes. Anyone will tell you the kind and the big are also rough. If you meet a young and kind person who is also rough, they are cold, too.
Gary is young.
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is kind.[(triple3)] Eric is big.[(triple8)] Eric is cold.[(triple7 OR ((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7))] Eric is red.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] @1: Eric is kind.[(((triple5 triple6) -> rule1))] @2: Eric is blue.[(((((triple5 triple6) -> rule1) triple5 triple4) -> rule2))] Eric is nice.[(((triple7 ((triple5 triple6) -> rule1)) -> rule4) OR ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4))] @3: Eric is green.[(((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) OR ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3))] @4: Eric is round.[(((((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((triple7 ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((triple7 ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5))]