That guy Alan sure is nice. Bob may be round, but he is also kind. The kind, young, blue one is Fred. He's nice and round. Gary may be young but he is nice, wears green shoes and is cold. A kind person who is down in the dumps and blue tends to have a rough side. People who are young are also blue. A kind person will certainly be young. Nice people who are also red are going to be cold too. Green folks who are nice and rough are a round shape.
Bob is not blue.
@0: Alan is nice.[(triple1)] Bob is kind.[(triple3)] Bob is round.[(triple2)] Fred is blue.[(triple8 OR ((triple4) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4 OR ((triple7) -> rule3))] Gary is cold.[(triple12)] Gary is green.[(triple11)] Gary is nice.[(triple10)] Gary is young.[(triple9)] @1: Bob is young.[(((triple3) -> rule3))] Fred is rough.[(((triple8 triple7) -> rule1) OR ((((triple4) -> rule2) triple7) -> rule1) OR ((((((triple7) -> rule3)) -> rule2) triple7) -> rule1))] Gary is blue.[(((triple9) -> rule2))] @2: Bob is blue.[(((((triple3) -> rule3)) -> rule2))] @3: Bob is rough.[(((((((triple3) -> rule3)) -> rule2) triple3) -> rule1))]