Bob is a big guy who is colored red from a sunburn. He also has a cold. Charlie is a young, round shaped young man who is also very cold. Fred is green and cold too. Red people are almost always rough. A person who is kind, cold, and rough is big. You must be aware of big, red, young people being rough. If a person happens to be big kind and red at the same time they are a young person. Someone that is cold rough and red is also considered to be kind. Young people who are both nice and cold also tend to be rough.
Bob is not kind.
@0: Bob is big.[(triple3 OR ((((triple1 ((triple1) -> rule1) triple2) -> rule5) triple2 ((triple1) -> rule1)) -> rule2))] Bob is cold.[(triple2)] Bob is red.[(triple1)] Charlie is cold.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Fred is cold.[(triple8)] Fred is green.[(triple7)] @1: Bob is rough.[(((triple1) -> rule1))] @2: Bob is kind.[(((triple1 ((triple1) -> rule1) triple2) -> rule5))] @3: Bob is young.[(((triple1 ((triple1 ((triple1) -> rule1) triple2) -> rule5) triple3) -> rule4) OR ((triple1 ((triple1 ((triple1) -> rule1) triple2) -> rule5) ((((triple1 ((triple1) -> rule1) triple2) -> rule5) triple2 ((triple1) -> rule1)) -> rule2)) -> rule4))]