Bob is a man who is both round and rough. Charlie is man who is rough, red, nice, kind, and also green. Eric always goes out of his way to show that he is kind to people. Fred always goes out of his way to show that he is kind to people. Anyone that is a red, nice soul will be big, too. A young person who is red and green is also going to look round. A person with big hair and rough lips is certainly young and jaded. A nice big person who is also round is going to be cold. Round and somewhat big people manage to be kind to everyone. I have found that kind, rough people are both red and cold. Someone can be big and rough, but cold even though they are kind.
Bob is red.
@0: Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is green.[(triple7)] Charlie is kind.[(triple6 OR ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1)) -> rule5) OR ((((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1) triple5) -> rule4) triple3 ((triple4 triple5) -> rule1)) -> rule7))] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Eric is kind.[(triple8)] Fred is kind.[(triple9)] @1: Charlie is big.[(((triple4 triple5) -> rule1))] Charlie is cold.[(((triple4 triple6 triple3) -> rule6) OR ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1) triple5) -> rule4) OR ((triple4 ((((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2) ((triple4 triple5) -> rule1)) -> rule5) triple3) -> rule6))] @2: Charlie is young.[(((triple3 ((triple4 triple5) -> rule1)) -> rule3))] @3: Charlie is round.[(((((triple3 ((triple4 triple5) -> rule1)) -> rule3) triple7 triple4) -> rule2))]