Alan is a man who is both round and rough. Bob is a nice person who is red because he has a rash. Eric is a red fellow who habitually looks blue. He's often cold. Fred is sometimes cold and blue, but he can also be kind and big. Young people with red skin who are a bit downhearted and blue are kind. Blue people who are cold are always round in shape. A person with a rough quality is also a person with a blue quality. A quite nice person will certainly be red. Big people with round and somewhat red faces will have rough skin. A person who is round shaped while also being quite cold tends to be nice.
Fred is not red.
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is nice.[(triple4)] Bob is red.[(triple3 OR ((triple4) -> rule4))] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is red.[(triple5 OR ((((((triple7 triple6) -> rule2) triple6) -> rule6)) -> rule4))] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is kind.[(triple8)] @1: Alan is blue.[(((triple2) -> rule3))] Eric is round.[(((triple7 triple6) -> rule2))] Fred is round.[(((triple10 triple9) -> rule2))] @2: Eric is nice.[(((((triple7 triple6) -> rule2) triple6) -> rule6))] Fred is nice.[(((((triple10 triple9) -> rule2) triple9) -> rule6))] @3: Fred is red.[(((((((triple10 triple9) -> rule2) triple9) -> rule6)) -> rule4))] @4: Fred is rough.[(((triple11 ((triple10 triple9) -> rule2) ((((((triple10 triple9) -> rule2) triple9) -> rule6)) -> rule4)) -> rule5))]