Alan is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Bob is big and tends to wear red shirts. That Fred is a round, rough fellow, and he's nice, as well as big. That man standing next to you with a big round body goes by the name of Gary. If someone is blue and rough, they always see red in others. Rough people are often always nice. A quite nice person who is red and green is also big. If a red and blue person is also kind to people that means they are rough as well. A person with a rough quality is also a person with a blue quality. Show me someone who is cold and kind, and I'll show you how green they are.
Gary is not big.
@0: Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2 OR ((triple1) -> rule2))] Alan is rough.[(triple1)] Bob is big.[(triple6)] Bob is red.[(triple5)] Fred is big.[(triple10)] Fred is nice.[(triple9 OR ((triple8) -> rule2))] Fred is rough.[(triple8)] Fred is round.[(triple7)] Gary is big.[(triple12)] Gary is round.[(triple11)] @1: Alan is blue.[(((triple1) -> rule5))] Fred is blue.[(((triple8) -> rule5))] @2: Alan is red.[(((((triple1) -> rule5) triple1) -> rule1))] Fred is red.[(((((triple8) -> rule5) triple8) -> rule1))] @3: Alan is big.[(((((((triple1) -> rule5) triple1) -> rule1) triple3 triple2) -> rule3) OR ((((((triple1) -> rule5) triple1) -> rule1) triple3 ((triple1) -> rule2)) -> rule3))]