Bob is round shaped and green colored. Eric is a person both green and big. My young friend Fred is quite big has rough skin with a green tinge.  He is feeling blue because his dog ran away. A nice person who is green is feeling cold. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. A very nice and kind person will also be round shaped. Being green and rough are signs that someone is big. If you meet somebody who is young, rough and round, you can be sure they are nice as well. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person. If you meet a young and kind person who is also rough, they are cold, too.
Fred is not round.
@0: Bob is green.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple4)] Eric is green.[(triple3)] Fred is big.[(triple9 OR ((triple7 triple6) -> rule4))] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] @1: Fred is nice.[(((triple8 triple6 triple9) -> rule6) OR ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6))] @2: Fred is cold.[(((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) OR ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1))] @3: Fred is kind.[(((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2) OR ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2))] @4: Fred is round.[(((((triple8 triple6 triple9) -> rule6) ((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6) ((triple7 ((triple7 ((triple8 triple6 triple9) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 triple9) -> rule6) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3) OR ((((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6) ((triple7 ((triple7 ((triple8 triple6 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1) triple5) -> rule2)) -> rule3))]