Eric is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Fred is very young to be a nurse but he loves helping others because he is so nice and kind. That guy Gary is big, but he's always kind to little ones. Harry is big and rough. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. Round, blue, and green people are poften rough. A person with big hair and rough lips is certainly young and jaded. People who are blue and cold are red. All nice people are young. A person who is very round is nice but also quite rough. People who are nice and cold are also green.
Eric is not red.
@0: Eric is blue.[(triple3)] Eric is nice.[(triple2)] Eric is round.[(triple1)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] Fred is young.[(triple4 OR ((triple5) -> rule5))] Gary is big.[(triple8)] Gary is kind.[(triple7)] Harry is big.[(triple10)] Harry is rough.[(triple9)] @1: Eric is rough.[(((triple1 triple2) -> rule6) OR ((triple3 ((triple2 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule7) triple1) -> rule2))] Eric is young.[(((triple2) -> rule5))] Harry is young.[(((triple9 triple10) -> rule3))] @2: Eric is cold.[(((triple1 triple2 ((triple2) -> rule5)) -> rule1))] @3: Eric is green.[(((triple2 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule7))] Eric is red.[(((triple3 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule4))]