Bob is big and red, but he's young and will grow out of it. Eric is rough but very kind, he is also red in color and young in age. Gary is round shaped and green colored. If the description of nice and green applies to somebody, the description of young will, too. Anybody who is so cold that they are red and blue must be young. People who are round and young are also very nice. Red, young people are for the most part round too. Nice people are kind and rough when they are young. Humans who are nice to others while they are young and red will also be green. A person who is red and green, will also tend to be round shaped and rough.
Bob is big.
@0: Bob is big.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Eric is kind.[(triple7)] Eric is red.[(triple6)] Eric is rough.[(triple5 OR ((((triple6 triple4) -> rule4) ((((((triple6 triple4) -> rule4) triple4) -> rule3) triple4 triple6) -> rule6) triple6) -> rule7))] Eric is young.[(triple4)] Gary is green.[(triple9)] Gary is round.[(triple8)] @1: Bob is round.[(((triple2 triple1) -> rule4))] Eric is round.[(((triple6 triple4) -> rule4))] @2: Bob is nice.[(((((triple2 triple1) -> rule4) triple1) -> rule3))] Eric is nice.[(((((triple6 triple4) -> rule4) triple4) -> rule3))] @3: Bob is green.[(((((((triple2 triple1) -> rule4) triple1) -> rule3) triple1 triple2) -> rule6))] Eric is green.[(((((((triple6 triple4) -> rule4) triple4) -> rule3) triple4 triple6) -> rule6))] @4: Bob is rough.[(((((triple2 triple1) -> rule4) ((((((triple2 triple1) -> rule4) triple1) -> rule3) triple1 triple2) -> rule6) triple2) -> rule7))]