Bob seems to be round. Dave seems to be round. Fred is nice and round, but he's also young and can blend red and blue moods well. No one knows Gary like me and he is a kind guy, very round in the belly and green as grass. A very nice person who is also green is certainly kind. Blue, big and kind all at once, that person must be green too. A green person that is rough and cold is often also nice. Someone who has a round shape with a nice personality with big size are always kind. Nice people with red and rough skin are green with envy. A young person with red hands is rough around the edges. People who are young are also blue.
Dave is round.
@0: Bob is round.[(triple1)] Dave is round.[(triple2)] Fred is blue.[(triple7 OR ((triple3) -> rule7))] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] Fred is young.[(triple3)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] @1: Fred is rough.[(((triple5 triple3) -> rule6))] @2: Fred is green.[(((((triple5 triple3) -> rule6) triple6 triple5) -> rule5))] @3: Fred is kind.[(((((((triple5 triple3) -> rule6) triple6 triple5) -> rule5) triple6) -> rule1))]