Alan is a person both green and big. That rough but kind guy is Charlie, the green one. Even though Eric is green with envy he is nice with rosy red cheeks. Because Fred gets cold easily he tends to appear round from bundling up. Surprisingly, all the kind, green people were also big. People who are round, blue and cold are usually nice. A quite nice person will certainly be red. A green and quite rough person will also be blue. People that are big but also green, may ultimately be very nice. Young people are rough. A person who is young and cold and green is kind.
Eric is not red.
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6 OR ((triple7) -> rule3))] Fred is cold.[(triple10)] Fred is round.[(triple9)] @1: Alan is nice.[(((triple2 triple1) -> rule5))] Charlie is big.[(((triple4 triple5) -> rule1))] Charlie is blue.[(((triple3 triple5) -> rule4))] @2: Alan is red.[(((((triple2 triple1) -> rule5)) -> rule3))] Charlie is nice.[(((((triple4 triple5) -> rule1) triple5) -> rule5))] @3: Charlie is red.[(((((((triple4 triple5) -> rule1) triple5) -> rule5)) -> rule3))]