Bob gets red when he is mad and tends to act very cold. Charlie feels nice and kind today, so he paints himself green and embraces his cold side. Charlie is big enough to do whatever he wants. Dave ate some rotten meat and now feels green. Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him. Red and green people that are nice are cold to strangers. People that are big and cold are blue as well. A round shaped and rough person will be blue as well. Blue people who are rough are often young. Big kind people are usually cold. A blue individual that is kind and nice to others also has a rough appearance.
Eric is not rough.
@0: Bob is cold.[(triple2)] Bob is red.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6 OR ((triple4 triple7) -> rule5))] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Dave is green.[(triple8)] Eric is blue.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is round.[(triple9)] @1: Charlie is blue.[(((triple7 triple6) -> rule2) OR ((triple7 ((triple4 triple7) -> rule5)) -> rule2))] Eric is rough.[(((triple11 triple12 triple10) -> rule6))] @2: Charlie is rough.[(((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) OR ((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6))] Eric is young.[(((((triple11 triple12 triple10) -> rule6) triple12) -> rule4))] @3: Charlie is young.[(((((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple7 triple6) -> rule2) triple3) -> rule6) ((triple7 ((triple4 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6) ((triple7 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple7 ((triple4 triple7) -> rule5)) -> rule2) triple3) -> rule6) ((triple7 ((triple4 triple7) -> rule5)) -> rule2)) -> rule4))]