Alan is nice and kind, but a little rough. You think Bob is only rough, cold and blue, but I know he is also young, round and kind. Because Charlie gets cold easily he tends to appear round from bundling up. They always call him rough Dave. A young and cold person is red. Being a young, round and kind individual means that you are also a blue individual. People who are cold even when they're nice and round, they are young. Color anybody red and blue, then make them rough, and they will surely be round. A person who is round shaped while also being quite cold tends to be nice. Big people that are also rough, are ultimately round.
Dave is not big.
@0: Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is blue.[(triple9 OR ((triple4 triple5 triple7) -> rule2) OR ((((((triple5 triple8) -> rule5) triple5 triple8) -> rule3) triple5 triple7) -> rule2))] Bob is cold.[(triple8)] Bob is kind.[(triple7)] Bob is rough.[(triple6)] Bob is round.[(triple5 OR ((triple9 triple6 ((triple8 triple4) -> rule1)) -> rule4))] Bob is young.[(triple4 OR ((((triple5 triple8) -> rule5) triple5 triple8) -> rule3))] Charlie is cold.[(triple11)] Charlie is round.[(triple10)] Dave is rough.[(triple12)] @1: Bob is nice.[(((triple5 triple8) -> rule5) OR ((((triple9 triple6 ((triple8 triple4) -> rule1)) -> rule4) triple8) -> rule5))] Bob is red.[(((triple8 triple4) -> rule1) OR ((triple8 ((((triple5 triple8) -> rule5) triple5 triple8) -> rule3)) -> rule1))] Charlie is nice.[(((triple10 triple11) -> rule5))] @2: Charlie is young.[(((((triple10 triple11) -> rule5) triple10 triple11) -> rule3))] @3: Charlie is red.[(((triple11 ((((triple10 triple11) -> rule5) triple10 triple11) -> rule3)) -> rule1))]