Alan is big and rough. Bob who is considered nice was feeling rather rough today. Charlie is still young and round, but he is nice to everyone and kind to animals. Dave is a very kind, green but sometimes cold person. I've noticed that kind people are also big. I have found that young, blue, and big individuals are also red. A quite nice person will certainly be red. When you meet someone with cold, rough skin and a round figure they will be nice. A blue and round human being will also be a green human being. All men who happen to be red and big, will also be blue.
Bob is not green.
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Bob is nice.[(triple4)] Bob is rough.[(triple3)] Charlie is kind.[(triple8)] Charlie is nice.[(triple7)] Charlie is round.[(triple6)] Charlie is young.[(triple5)] Dave is cold.[(triple11)] Dave is green.[(triple10)] Dave is kind.[(triple9)] @1: Bob is red.[(((triple4) -> rule3))] Charlie is big.[(((triple8) -> rule1))] Charlie is red.[(((triple7) -> rule3))] Dave is big.[(((triple9) -> rule1))] @2: Charlie is blue.[(((((triple7) -> rule3) ((triple8) -> rule1)) -> rule6))] @3: Charlie is green.[(((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule6) triple6) -> rule5))]