Alan is a fairly round person for being as nice as he is. He is also blue because of his rough upbringing. He gets red when he talks about it. Bob ate some rotten meat and now feels green. Dave was born only a few years ago so he is young. Eric is a rough guy but he is also red, nice, green and big. When you meet someone round, blue and nice they are as a rule rough. Young and nice people have great big smiles. If you color the young ones blue then they will be kind. People with rough red and blue skin are young. A young person who is both big and blue is also someone who is green.
Bob is not nice.
@0: Alan is blue.[(triple5)] Alan is nice.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2 OR ((triple5 triple4 triple1) -> rule1))] Alan is round.[(triple1)] Bob is green.[(triple6)] Dave is young.[(triple7)] Eric is big.[(triple12)] Eric is green.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] Eric is rough.[(triple8)] @1: Alan is young.[(((triple2 triple3 triple5) -> rule4) OR ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4))] @2: Alan is big.[(((((triple2 triple3 triple5) -> rule4) triple4) -> rule2) OR ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2))] Alan is kind.[(((triple5 ((triple2 triple3 triple5) -> rule4)) -> rule3) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4)) -> rule3))] @3: Alan is green.[(((triple5 ((triple2 triple3 triple5) -> rule4) ((((triple2 triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) ((((triple2 triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((triple2 triple3 triple5) -> rule4) ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5))]