That guy Alan sure is nice. Bob woke up one day to find he had become round. He was still rough, red, and green, but now he was also big. Charlie may be young but he is nice, wears green shoes and is cold. That guy Fred sure is nice. Someone who has young, nice and cold qualities will possess a red quality, too. Interesting that all round people are cold. Cold and red people are always kind to others. Young people who feel cold and are still kind usually look rough.
Charlie is not rough.
@0: Alan is nice.[(triple1)] Bob is big.[(triple6)] Bob is green.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Charlie is cold.[(triple10)] Charlie is green.[(triple9)] Charlie is nice.[(triple8)] Charlie is young.[(triple7)] Fred is nice.[(triple11)] @1: Bob is cold.[(((triple2) -> rule2))] Charlie is red.[(((triple10 triple7 triple8) -> rule1))] @2: Bob is kind.[(((((triple2) -> rule2) triple4) -> rule3))] Charlie is kind.[(((triple10 ((triple10 triple7 triple8) -> rule1)) -> rule3))] @3: Charlie is rough.[(((triple10 ((triple10 ((triple10 triple7 triple8) -> rule1)) -> rule3) triple7) -> rule4))]