Alan can be rough and cold, but he is also green, an avid gardener. Bob may be round, but he is also kind. Charlie is a kind person and he is also often cold. Fred, who is relatively young, is also pretty big and tends to be cold. A kind person who is down in the dumps and blue tends to have a rough side. Most big and cold people are also rough. People who are young are also blue. A kind person will certainly be young.
Bob is not red.
@0: Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is rough.[(triple1)] Bob is kind.[(triple5)] Bob is round.[(triple4)] Charlie is cold.[(triple7)] Charlie is kind.[(triple6)] Fred is big.[(triple10)] Fred is cold.[(triple9)] Fred is young.[(triple8)] @1: Bob is young.[(((triple5) -> rule4))] Charlie is young.[(((triple6) -> rule4))] Fred is blue.[(((triple8) -> rule3))] Fred is rough.[(((triple10 triple9) -> rule2))] @2: Bob is blue.[(((((triple5) -> rule4)) -> rule3))] Charlie is blue.[(((((triple6) -> rule4)) -> rule3))] @3: Bob is rough.[(((((((triple5) -> rule4)) -> rule3) triple5) -> rule1))] Charlie is rough.[(((((((triple6) -> rule4)) -> rule3) triple6) -> rule1))]